Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
1
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Analysis to the Formal Verification of C Programs -- Creating Sequential Programs from Event-B Models...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”View full text
Electronic
eBook
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”View full text
Electronic
eBook
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
18
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook