The abs package
Incremental CTL model checker.
By Abelardo Pardo
This package provides the command "incremental_ctl_verification",
an algorithm to verify CTL formulas starting from an initial abstraction and
applying refinements to increment the level of accuracy in the verification.
The theory behind this work can be found in:
@InCollection{Pardo97,
author = {Abelardo Pardo and Gary Hachtel},
title = {Automatic Abstraction Techniques for Propositional
$mu$-calculus Model Checking},
booktitle = {9th Conference on Computer Aided Verification (CAV'97)},
publisher = {Springer-Verlag},
year = 1997,
editor = {O. Grumberg},
month = jun,
pages = {12-23},
note = {LNCS-1254}
}
Last updated on 20050519 00h50