Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs verification » program verification, programs education
function structures » functions structures, function structure, functional structures
verification https » modification https, verification heap, verification attack
https function » its function, sites function, ups function
programs verification » program verification, programs education
function structures » functions structures, function structure, functional structures
verification https » modification https, verification heap, verification attack
https function » its function, sites function, ups function
1
Published 2014
Table of Contents:
“... and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant Verification...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Verification II -- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives...”View full text
Electronic
eBook
4
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Investigating System Navigation Ergonomics through Model Verification -- Tool Support for Representing Task...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
10
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
15
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... Simulations -- A Proof System for Compositional Verification of Probabilistic Concurrent Processes...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
19
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook