Program verification: state of the art, problems, and results. II

DOI10.1007/S10559-014-9588-6zbMath1371.68178OpenAlexW1976808706MaRDI QIDQ466002

S. L. Kryvyi, O. M. Maksymets

Publication date: 24 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-014-9588-6

zbMATH Keywords

verificationmodel checkingPetri nettransition systemabstract interpretation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Program verification: state of the art, problems, and results. I
• The equality problem for vector addition systems is undecidable
• Unfoldings: A partial-order approach to model checking.

This page was built for publication: Program verification: state of the art, problems, and results. II