Model Checking Is Static Analysis of Modal Logic

DOI10.1007/978-3-642-12032-9_14zbMath1284.03210OpenAlexW1505891402WikidataQ59416339 ScholiaQ59416339MaRDI QIDQ3557851

Flemming Nielson, Hanne Riis Nielson

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_14

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Model Checking Is Static Analysis of Modal Logic