Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68601OpenAlexW2497867240MaRDI QIDQ5703772

David Notkin, Darko Marinov, Tao Xie, Wolfram Schulte

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

A Study of Symmetry Breaking Predicates and Model Counting ⋮ Automation of broad sanity test generation ⋮ Simple linear string constraints ⋮ Symbolic execution formally explained ⋮ The dependence condition graph: precise conditions for dependence between program points ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ Symstra ⋮ Integration of verification methods for program systems

Uses Software

• Zing
• POOC
• veriSoft
• BLAST
• JML
• Bogor
• Korat
• JUnit
• Rostra
• Java PathFinder

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems