Model Checking Software

DOI10.1007/11537328zbMath1151.68369OpenAlexW2492029314MaRDI QIDQ5394553

Sami Evangelista, Jean-François Pradat-Peyre

Publication date: 1 November 2006

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

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

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 (1)

Correcting a Space-Efficient Simulation Algorithm

Uses Software

• Quasar
• veriSoft
• Helena
• Bogor

This page was built for publication: Model Checking Software