Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

CAV
2004
Springer

favoriteEmaildiscussreport

101views Hardware» more CAV 2004»

Symbolic Model Checking of Non-regular Properties

13 years 10 months ago

Symbolic Model Checking of Non-regular Properties

Download www2.tcs.ifi.lmu.de

This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of deﬁning non-regular properties. Some empirical data about running times of a naive implementation of this algorithm are given as well.

Martin Lange

Real-time Traffic

CAV 2004 | Formal Methods | Model Checking Algorithm | Naive Implementation | Non-regular Properties |

claim paper

Related Content

» Symbolic Systems Explicit Properties On Hybrid Approaches for LTL Symbolic Model Checking

» Symbolic ModelChecking of Optimistic Replication Algorithms

» Using Symbolic Simulation for Bounded Property Checking

» GradedCTL Satisfiability and Symbolic Model Checking

» SelfLoop Aggregation Product A New Hybrid Approach to OntheFly LTL Model Checking

» Distributed Symbolic Bounded Property Checking

» Active property checking

» GSTE Is Partitioned Model Checking

» Transitionbased coverage estimation for symbolic model checking

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	CAV
Authors	Martin Lange

Comments (0)