Data structures for symbolic multi-valued model-checking

13 years 4 months ago

Download www.cs.toronto.edu

Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlier work we identified a useful family of multi-valued logics: those specified over finite distributive lattices where negation preserves involution, i.e., D

Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al

Real-time Traffic

FMSD 2006 | Multi-valued | Multi-valued Logics | Multi-valued Sets |

claim paper

» GradedCTL Satisfiability and Symbolic Model Checking

» Making the Right Cut in Model Checking DataIntensive Timed Systems

» Tableaux and Model Checking for Memory Logics

» Systematic Acceleration in Regular Model Checking

» Automatic Software Model Checking Using CLP

» Predicting Protein Folding Kinetics Via Temporal Logic Model Checking

» Test input generation with java PathFinder

» Symbolic Reachability Analysis of HigherOrder ContextFree Processes

» On Symbolic Scheduling Independent Tasks with Restricted Execution Times

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	FMSD
Authors	Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook

Comments (0)

Sciweavers

Data structures for symbolic multi-valued model-checking

FMSD 2006 | Multi-valued | Multi-valued Logics | Multi-valued Sets |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers