scientific article; zbMATH DE number 1982210

zbMath1023.68532MaRDI QIDQ4426387

Rupak Majumdar, Grégoire Sutre, Ranjit Jhala, Thomas A. Henzinger

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480235.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (16)

Model-checking structured context-free languages ⋮ Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ A compiler for MSVL and its applications ⋮ Highly dependable concurrent programming using design for verification ⋮ An invariant-based approach to the verification of asynchronous parameterized networks ⋮ Doomed program points ⋮ TASS: the toolkit for accurate scientific software ⋮ Rule-based static analysis of network protocol implementations ⋮ Counterexample Guided Path Reduction for Static Program Analysis ⋮ A Forward-Backward Abstraction Refinement Algorithm ⋮ On-the-Fly Techniques for Game-Based Software Model Checking ⋮ Abstraction refinement and antichains for trace inclusion of infinite state systems ⋮ BLAST ⋮ Integration of verification methods for program systems ⋮ Stochastic Modelling of Communication Protocols from Source Code ⋮ Automated formal analysis and verification: an overview

This page was built for publication: