Model Checking Software

DOI10.1007/11537328zbMath1151.68363OpenAlexW2492029314MaRDI QIDQ5394556

Dragan Bošnački, Gerard J. Holzmann

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

Searching and sorting (68P10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SPIN

This page was built for publication: Model Checking Software