Combined model checking for temporal, probabilistic, and real-time logics

DOI10.1016/j.tcs.2013.07.012zbMath1360.68591WikidataQ98283457 ScholiaQ98283457MaRDI QIDQ407511

J. Herrera, H. S. Yoon

Publication date: 2 September 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.07.012

zbMATH Keywords

complexity; formal verification; model checking; multi-agent systems; combination of logics

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68T42: Agent technology and artificial intelligence

03B62: Combined logics

Uses Software

• PRISM
• MCK