Multi-Valued Symbolic Model-Checking

Multi-Valued Symbolic Model-Checking (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Marsha Chechik , Benet Devereux , Steve Easterbrook , Arie Gurfinkel

Venue:	ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Citations:	48 - 17 self

BibTeX

@ARTICLE{Chechik03multi-valuedsymbolic,
    author = {Marsha Chechik and Benet Devereux and Steve Easterbrook and Arie Gurfinkel},
    title = {Multi-Valued Symbolic Model-Checking},
    journal = {ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY},
    year = {2003},
    volume = {12},
    pages = {2003}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

This paper introduces the concept and the general theory of multi-valued model checking, and describes a multi-valued symbolic model-checker \Chi Chek. Multi-valued

Citations

2198	Fuzzy sets - Zadeh - 1965
2026	Model Checking - Clarke, Grumberg, et al. - 2000
1207	Symbolic Model Checking - McMillan - 1993
1130	The model checker SPIN - Holzmann - 1997
1085	Automatic verification of finite-state concurrent systems using temporal logic specifications - Clarke, Emerson, et al. - 1986
732	The Design and Validation of Computer Protocols - Holzmann - 1991
593	Introduction to Metamathematics - Kleene - 1971
465	Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, et al. - 1999
458	Lattice Theory - Birkhoff - 1967
259	Results on the propositional _-calculus - Kozen - 1983
255	A Useful Four-Valued Logic - Belnap - 1977
228	Abstract Interpretation of Reactive Systems - Dams, Gerth, et al. - 1997
226	Algebraic decision diagrams and their applications - Bahar, Frohm, et al. - 1997
190	Basic Modal Logic - Fitting - 1984
187	Logic in Computer Science. Modelling and reasoning about systems - Huth, Ryan - 2000
129	The Murphi Verification System - Dill - 1996
128	State-based model checking of event-driven system requirements - Atlee, Gannon - 1993
102	A Practical Theory of Programming - Hehner - 1993
94	L-fuzzy sets - Goguen - 1967
94	A Modal Process Logic - Larsen, Thomsen - 1988
90	Abstract Interpretation and Partition Refinement for Model Checking - Dams - 1996
86	Verification of the Futurebus+ cache coherence protocol - Clarke, Grumberg, et al.
80	Model checking partial state spaces with 3-valued temporal logics - Bruns, Godefroid - 1999
75	Modal transition systems: a foundation for three-valued program analysis - Huth, Jagadeesan, et al. - 2001
73	Algorithms for discrete function manipulation - Srinivasan, Kam, et al. - 1990
71	Symbolic model checking for probabilistic processes - Baier, Clarke, et al. - 1997
66	A Framework for MultiValued Reasoning over Inconsistent Viewpoints - Easterbrook, Chechik - 2001
65	Generalized model checking: Reasoning about partial state spaces - Bruns, Godefroid - 2000
60	An Algebraic Approach to Non-Classical Logics - Rasiowa - 1978
48	Abstraction-based model checking using modal transition systems - Godefroid, Huth, et al. - 2001
40	Multi-valued logics - Ginsberg - 1986
35	Temporal-Logic Queries - Chan - 2000
33	Refining model checking by abstract interpretation - Cousot, Cousot - 1999
23	Composite model checking: verification with typespecific symbolic representations - BULTAN, GERBER, et al. - 2000
22	Chek: A Multi‐ valued Model‐Checker - Chechik, Gurfinkel, et al.
21	Many-Valued logics - Bolc, Borowik - 1992
21	Variable-valued logic and its applications to pattern recognition and machine learning - Michalski - 1975
20	Many-valued modal logics, ii - FITTING - 1992
19	Model-checking infinite state-space systems with fine-grained abstractions using SPIN - Chechik, Devereux, et al.
19	A method to represent multiple-output switching functions by using multi-valued decision diagrams - Sasao, Butler - 1996
19	Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation - Alfaro, Kwiatkowska, et al. - 2000
18	Automated deduction in multiple-valued logics, volume 10 - Hähnle - 1993
16	Applying predicate abstraction to model check object-oriented programs - Visser, Park, et al. - 2000
16	Model Exploration with Temporal Logic Query Checking - Gurfinkel, Devereux, et al. - 2002
15	Compositional Model Checking of Partially Ordered State Spaces - Hazelhurst - 1996
14	Temporal Logic Query-Checking - Bruns, Godefroid - 2001
11	Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators. Multiple-Valued Logic 6:289–344 - Sofronie-Stokkermans
11	The Algebraic Mu-Calculus and MTBDDs - Baier, Clarke - 1998
9	Refinement Calculus: a systematic approach - Back, Wright - 1998
9	A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation - Dunn - 1999