Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
interface verification » interface specification, inference verification, interactive verification
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
verification programming » specification programming, identification programming, verification program
interface verification » interface specification, inference verification, interactive verification
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
1
Published 2007
Table of Contents:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”View full text
Electronic
eBook
4
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
5
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”View full text
Electronic
eBook
9
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Proofs and Refutations for Probabilistic Refinement -- Assume-Guarantee Verification for Interface...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Information -- Web Services, Late Composition and Verification -- Capturing Web Services Provider Constraints...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I...”View full text
Electronic
eBook