Collective Assertions

DOI10.1007/978-3-642-18275-4_27zbMath1317.68035OpenAlexW4236316374MaRDI QIDQ3075497

Stephen F. Siegel, Timothy K. Zirkel

Publication date: 15 February 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_27

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Loop Invariant Symbolic Execution for Parallel Programs ⋮ TASS: the toolkit for accurate scientific software ⋮ FEVS: a functional equivalence verification suite for high-performance scientific computing

Uses Software

• cvc3
• TASS_
• KLEE
• ISP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
• Symbolic execution and program testing
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Collective Assertions