Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68556OpenAlexW2497867240MaRDI QIDQ5703784

Stefan Schwoon, Dejvuth Suwimonteerabuth, Javier Esparza

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) Theory of software (68N99)

Related Items

Model Checking Procedural Programs ⋮ Faster pushdown reachability analysis with applications in network verification ⋮ Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis ⋮ jMoped ⋮ Unnamed Item ⋮ Reducing concurrent analysis under a context bound to sequential analysis

Uses Software

• MOPED