Sciweavers

Share
CAV
2004
Springer

Symbolic Model Checking of Non-regular Properties

11 years 5 months ago
Symbolic Model Checking of Non-regular Properties
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empirical data about running times of a naive implementation of this algorithm are given as well.
Martin Lange
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CAV
Authors Martin Lange
Comments (0)
books