Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
program verification » formal verification
function functional » functions functional, fractional functional, nutrition functional
verification https » modification https, verification heap, verification attack
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
program verification » formal verification
function functional » functions functional, fractional functional, nutrition functional
verification https » modification https, verification heap, verification attack
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
1
Pubblicazione 2012
Sommario:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Testo
Elettronico
eBook
3
Pubblicazione 2008
Sommario:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Testo
Elettronico
eBook
4
Pubblicazione 2015
Sommario:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Testo
Elettronico
eBook
5
Pubblicazione 2014
Sommario:
“... and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant Verification...”Testo
Elettronico
eBook
6
Pubblicazione 2015
Sommario:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Testo
Elettronico
eBook
7
Pubblicazione 2007
Sommario:
“...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”Testo
Elettronico
eBook
8
Pubblicazione 2012
Sommario:
“... Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification...”Testo
Elettronico
eBook
9
Pubblicazione 2014
Sommario:
“... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”Testo
Elettronico
eBook
10
Pubblicazione 2013
Sommario:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”Testo
Elettronico
eBook
12
Pubblicazione 2011
Soggetti:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Testo
Elettronico
eBook
13
Pubblicazione 2006
Sommario:
“... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“... -- Verification II -- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives...”Testo
Elettronico
eBook
15
Pubblicazione 2008
Sommario:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”Testo
Elettronico
eBook
16
Sommario:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
Testo
Testo
Elettronico
eBook
17
Sommario:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Testo
Testo
Elettronico
eBook
18
Sommario:
“...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
Testo
Testo
Elettronico
eBook
19
Pubblicazione 2008
Sommario:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Testo
Elettronico
eBook
20
di Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Pubblicazione 2006
Sommario:
“...Verification Planning -- Assertions -- Testbench Infrastructure -- Stimulus and Response...”Pubblicazione 2006
Testo
Elettronico
eBook