Partial Model Checking of Modal Equations: A Survey
by Henrik Reif Andersen and
Jørn Lind-Nielsen.
To appear in STTT:
International Journal on Software Tools for Technology Transfer Vol 3.
Abstract
Partial model checking is a technique for verifying concurrent
systems. It gradually reduces the verification problem to the final
answer by removing concurrent components one-by-one, transforming and
minizing the specifications as it proceeds. This paper gives a survey
of the theory behind partial model checking and the results obtained
with it.
[BiBTeX entry]
[Postscript not available]