Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive verification » interactive sonification, integration verification, integrating verification
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
interactive verification » interactive sonification, integration verification, integrating verification
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2007
Table of Contents:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
3
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
4
Published 2010
Table of Contents:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Algorithms for Finite Automata -- Probabilistic Systems and Optimization -- Assume-Guarantee Verification...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Programs in an SMT Framework -- A Generic Constructive Solution for Concurrent Games with Expressive...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Interaction Systems -- On the Expressive Power of Live Sequence Charts -- Refinement-Based Verification...”View full text
Electronic
eBook
10
Table of Contents:
“... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”View full text
Electronic
eBook
15
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Progress Report -- Reasoning About Agents’ Interaction Protocols Inside DCaseLP -- Verification -- Model...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”View full text
Electronic
eBook