Publication:4426387
From MaRDI portal
zbMath1023.68532MaRDI QIDQ4426387
Thomas A. Henzinger, Rupak Majumdar, Grégoire Sutre, Ranjit Jhala
Publication date: 16 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480235.htm
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Counterexample Guided Path Reduction for Static Program Analysis, A Forward-Backward Abstraction Refinement Algorithm, On-the-Fly Techniques for Game-Based Software Model Checking, BLAST, An invariant-based approach to the verification of asynchronous parameterized networks, Doomed program points, Formal verification of C systems code. Structured types, separation logic and theorem proving, Integration of verification methods for program systems, TASS: the toolkit for accurate scientific software, Rule-based static analysis of network protocol implementations, Highly dependable concurrent programming using design for verification, Stochastic Modelling of Communication Protocols from Source Code, Automated formal analysis and verification: an overview