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

DOI10.1007/s10559-013-9569-1zbMath1371.68179OpenAlexW4253676934MaRDI QIDQ466416

O. M. Maksymets, S. L. Kryvyi

Publication date: 27 October 2014

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

Full work available at URL: https://doi.org/10.1007/s10559-013-9569-1

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)

Related Items (1)

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

Cites Work

• Two-level semantics and abstract interpretation
• A denotational framework for data flow analysis
• Search for invariant linear relationships in programs
• An algorithm for finding invariant relations in programs
• Abstract Interpretation Frameworks
• Verification: Theory and Practice
• Verification: Theory and Practice
• Static Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item

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