Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
inference verification » coherence verification, convergence verification, inference identification
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
inference verification » coherence verification, convergence verification, inference identification
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2007
Table of Contents:
“... Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...”View full text
Electronic
eBook
4
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
5
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”View full text
Electronic
eBook
6
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Semantics for Type Inference -- Principal Type Schemes for Modular Programs -- A Consistent Semantics...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
9
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
10
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”View full text
Electronic
eBook
12
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
13
Published 2015
Table of Contents:
“... Verification of Object-Oriented Programs -- An LTL Proof System for Runtime Verification -- MARQ: Monitoring...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Verifying Object-Oriented Software: Lessons and Challenges -- Software Verification -- Shape Analysis...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Tools -- Towards a Worldwide Verification Technology -- It Is Time to Mechanize Programming Language...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“..., Verification and Conformance of Workflows with Cancellation -- The AUTOSAR Way of Model-Based Engineering...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Session 1. Proofs -- Flyspeck I: Tame Graphs -- Automatic Construction and Verification of Isotopy...”View full text
Electronic
eBook