scientific article; zbMATH DE number 2080047

zbMath1043.68523MaRDI QIDQ4472235

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Publication date: 4 August 2004

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Infinite-state invariant checking with IC3 and predicate abstraction, Verification Modulo theories, Verification of multi-linked heaps, Verification and falsification of programs with loops using predicate abstraction, On recursion-free Horn clauses and Craig interpolation, Abstraction Refinement for Quantified Array Assertions, Refinement of Trace Abstraction, Combining Theories with Shared Set Operations, A semantic framework for the abstract model checking of tccp programs, Distributing the Workload in a Lazy Theorem-Prover, Verifying time partitioning in the DEOS scheduling kernel

Uses Software

• HyTech
• Bandera