a public good project by the
Synthesis
Company
of California

© 2026

Logic Verification of ANSI-C Code with SPIN | doi.page

0 citations0 references

Google Scholar doi.org

Logic Verification of ANSI-C Code with SPIN

Lecture notes in computer science·2000·pp. 131–147

Citations Over TimeTop 1% of 2000 papers

Gerard J. Holzmann

Related Papers

→ PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification(2020)8 cited
→ A False History of True Concurrency: From Petri to Tools(2010)4 cited
→ Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings(2001)1 cited
→ The Promise and Challenges of Concurrency(2013)
→ Combination model checking: approach and a case study(2004)