Partial model checking of modal equations: a survey

DOI10.1007/s100090050032zbMath1065.68580OpenAlexW2019314978MaRDI QIDQ1856172

Jørn Lind-Nielsen, Henrik Reif Andersen

Publication date: 1999

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050032

zbMATH Keywords

verificationmodel checkingmodal \(\mu\)-calculusstate explosion

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 (3)

Natural projection as partial model checking ⋮ Logical vs. behavioural specifications ⋮ Compositional verification of asynchronous concurrent systems using CADP

Uses Software

• BuDDy

This page was built for publication: Partial model checking of modal equations: a survey