You have Guest access.
Log In
Werner Damm and Holger Hermanns
Front matter
1
Automatically Proving Program Termination (Invited Talk)
2
A Mathematical Approach to RTL Verification (Invited Talk)
3
Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? (Invited Talk)
4-19
Algorithms for Interface Synthesis (Invited Tutorial)
20-36
A Tutorial on Satisfiability Modulo Theories (Invited Tutorial)
37
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (Invited Tutorial)
38
Verification of Hybrid Systems (Invited Tutorial)
39-54
SAT-Based Compositional Verification Using Lazy Learning
55-67
Local Proofs for Global Safety Properties
68-81
Low-Level Library Analysis and Summarization
82-94
Verification Across Intellectual Property Boundaries
95-107
On Synthesizing Controllers from Bounded-Response Properties
108-120
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
121-125
UPPAAL-Tiga: Time for Playing Games! (Tool Paper)
126-130
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (Tool Paper)
131-144
Systematic Acceleration in Regular Model Checking
145-157
Parameterized Verification of Infinite-State Processes with Global Conditions
158-163
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (Tool Paper)
164-167
jMoped: A Test Environment for Java Programs (Tool Paper)
168-172
Hector : Software Model Checking with Cooperating Analysis Plugins (Tool Paper)
173-177
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (Tool Paper)
178-192
Shape Analysis for Composite Data Structures
193-206
Array Abstractions from Proofs
207-220
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
221-225
Revamping TVLA: Making Parametric Shape Analysis Competitive (Tool Paper)
226-239
Fast and Accurate Static Data-Race Detection for Concurrent Programs
240-253
Parametric and Sliced Causality
254-257
Spade : Verification of Multithreaded Dynamic and Recursive Programs (Tool Paper)
258-262
Anzu: A Tool for Property Synthesis (Tool Paper)
263-267
RAT: A Tool for the Formal Analysis of Requirements (Tool Paper)
268-280
Parallelising Symbolic State-Space Generators
281-293
I/O Efficient Accepting Cycle Detection
294-297
C32SAT: Checking C Expressions (Tool Paper)
298-302
CVC3 (Tool Paper)
303-306
BAT: The Bit-Level Analysis Tool (Tool Paper)
307-310
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (Tool Paper)
311-324
Three-Valued Abstraction for Continuous-Time Markov Chains
325-338
Magnifying-Lens Abstraction for Markov Decision Processes
339-351
Underapproximation for Model-Checking Based on Random Cryptographic Constructions
352-365
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
366-378
Structural Abstraction of Software Verification Conditions
379-392
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
393-405
Adaptive Symmetry Reduction
406-419
From Liveness to Promptness
420-432
Automated Assumption Generation for Compositional Verification
433-448
Abstraction and Counterexample-Guided Construction of ω -Automata for Model Checking of Step-Discrete Linear Hybrid Models
449-462
Test Coverage for Continuous and Hybrid Systems
463-476
Hybrid Systems: From Verification to Falsification
477-490
Comparison Under Abstraction for Verifying Linearizability
491-503
Leaping Loops in the Presence of Abstraction
504-518
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
519-531
A Decision Procedure for Bit-Vectors and Arrays
532-546
Boolean Abstraction for Temporal Logic Satisfiability
547-560
A Lazy and Layered SMT( BV\mathcal{BV}) Solver for Hard Industrial Verification Problems
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info