Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
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 2008
Table of Contents:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“...Scalable Formal Machine Models -- Mechanized Semantics for Compiler Verification -- Automation...”View full text
Electronic
eBook
4
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
5
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
6
by Bergeron, Janick., Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Published 2006
Table of Contents:
“... Integration Verification....”Published 2006
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”View full text
Electronic
eBook
8
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
9
Published 2013
Table of Contents:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”View full text
Electronic
eBook
10
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
12
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
13
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
14
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Theories via Implicit Predicate Abstraction -- SMT-Based Verification of Software Countermeasures against...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”View full text
Electronic
eBook
18
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
View full text
Electronic
eBook
19
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook