scientific article; zbMATH DE number 1903378
From MaRDI portal
Publication:4804923
zbMath1010.68507MaRDI QIDQ4804923
Westley Weimer, Ranjit Jhala, Grégoire Sutre, Rupak Majumdar, George C. Necula, Thomas A. Henzinger
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040526.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
Modular strategies for recursive game graphs ⋮ Combining Model Checking and Data-Flow Analysis ⋮ Model Checking Procedural Programs ⋮ Reusing predicate precision in value analysis ⋮ The word problem for visibly pushdown languages described by grammars ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing ⋮ Verification and falsification of programs with loops using predicate abstraction ⋮ Theory and practice of unparsed patterns for metacompilation ⋮ A local approach for temporal model checking of Java bytecode ⋮ Algorithmic Analysis of Array-Accessing Programs
This page was built for publication:
