Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach

Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by E. A. Emerson , A. P. Sistla

Citations:

63 - 15 self

BibTeX

@MISC{Emerson99utilizingsymmetry,
    author = {E. A. Emerson and A. P. Sistla},
    title = {Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach},
    year = {1999}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1412	The Temporal Logic of Reactive and Concurrent Systems - Manna, Pnueli - 1992
1009	Temporal and modal logic - Emerson - 1990
676	Coloured Petri nets. Basic concepts, analysis methods and practical use - Jensen - 1992
393	Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Kurshan - 1994
219	A.: Checking that finite state concurrent programs satisfy their linear specification - Lichtenstein, Pnueli - 1985
185	Modal and Temporal Logics - Stirling - 1993
173	D.L.: Better verification through symmetry - Ip, Dill
126	S.: Exploiting symmetry in temporal logic model checking - Clarke, Filkorn, et al.
115	Reasoning about systems with many processes - Sistla, German - 1992
66	High-level Petri Nets; Theory and Application - JENSEN, ROZENBERG, et al. - 1991
63	C.-L.: Modalities for model checking: Branching time strikes back - Emerson, Lei - 1985
55	On-line minimization of transition systems - Lee, Yannakakis - 1992
35	Generation of reduced models for checking fragments of CTL - Dams, Grumberg, et al. - 1993
33	S.: Exploiting Symmetry - Clarke, Filkorn, et al. - 1993
26	Design and verification of synchronization skeletons using branshing time temporal logic - Clarke, Emerson - 1981
18	A Calculus for Protocol Specification and Validation - Aggarwal, Kurshan, et al. - 1983
15	Characterizing Kripke structures in temporal logic - Browne, Clarke, et al. - 1987
11	Analyzing concurrent systems using the concurrency workbench - Cleaveland - 1993
10	Testing Containment of omega-regular Languages", Bell Labs - Kurshan - 1986
8	Modalities for Model Checking: Branching Time - Emerson, Lei - 1987
5	Automatic verification of finite state concurrent programs using temporal logic: A practical approach - Clarke, Emerson, et al. - 1983
2	Reasoning about many identical processes - Clarke, Grumberg, et al. - 1989
2	Handbook of Theoretical Computer - Emerson - 1991
1	Symmetry and Model - Emerson, Sistla - 1993
1	Reasoning with many - Sistla, German - 1987
1	An Automata-Theoretic Framework for Modal - Vardi, Wolper
1	An automata-theoretic framework for automatic program verification - Vardi, Wolper - 1986
1	Protocol Specification, Testing and Verification - Aggarwal, Kurshan, et al. - 1983
1	Minimal state generation. Science of Computer Programming - Bouajjani, Fernandez, et al. - 1992
1	Symmetry and model checking. complete version to appear - Emerson, Sistla - 1993
1	Utilizing Symmetry when Model Checking under Fairness \Delta 21 - Litchtenstein, Pnueli - 1985
1	Propositional dynamic logic of looping and - Streett - 1981
1	An automata-theoretic framework for modal logics of programs - Vardi, Wolper - 1984