E. Allen Emerson, Vineet Kahlon  Home/Search
Context Related
| utexas.edu/ftp/pub/techr...tr0003.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/ftp/pub/techreports... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Systems with an arbitrary number of homogeneous processes occur in many applications. (Update)
Context of citations to this paper: More
.... that enable automatic verification of such systems, and abstraction tools to facilitate the task (e.g. KP00,APR 01,EN95,EN96,EK00,KPSZ02] One of the promising approaches to the uniform verification of parameterized systems is the method of network invariants, first...
.... that enable automatic veri cation of such systems, and abstraction tools to facilitate the task (e.g. KP00,APR 01,EN95,EN96,EK00,PRZ01] Many of the probabilistic protocols that have been proposed and studied (e.g. LR81,Rab82,PZ86b,CLP84] are parameterized. An...
Cited by: More
Model Checking Data-Independent Systems With Arrays - Newcomb (2003) (Correct)
Liveness with (0, 1, ∞)-Counter Abstraction - Pnueli, Xu, Zuck (Correct)
Network Invariants in Action - Kesten, Pnueli, Shahar, Zuck (2002) (Correct)
Active bibliography (related documents): More All
0.5: Symbolic Executions of Symmetrical Parallel Programs - Vernier (1996) (Correct)
0.2: Verification of a Parameterized Bus Arbitration Protocol - Emerson, Namjoshi (1998) (Correct)
0.2: Five Ways to Use Induction and Symmetry in the Verification.. - Calder, Miller (2002) (Correct)
Similar documents based on text: More All
1.0: Automatic Verification of Parameterized Synchronous Systems.. - Emerson, al. (1996) (Correct)
1.0: Automatic Verification of Parameterized Synchronous Systems - Emerson, Namjoshi (1996) (Correct)
0.4: An Application of Abstraction and Induction Techniques to.. - Miller, Calder (2003) (Correct)
Related documents from co-citation: More All
8: Verifying properties of large sets of processes with network invariants (context) - Wolper, Lovinfosse - 1989
8: Reasoning about rings - Emerson, Namjoshi - 1995
8: STeP: The stanford temporal prover - Manna - 1994
BibTeX entry: (Update)
E.A. Emerson and V. Kahlon. Reducing model checking of the many to the few. In 17th International Conference on Automated Deduction (CADE-17), pages 236--255, 2000. 14 http://citeseer.ist.psu.edu/emerson00reducing.html More
@inproceedings{ emerson00reducing,
author = "E. Allen Emerson and Vineet Kahlon",
title = "Reducing Model Checking of the Many to the Few",
booktitle = "Conference on Automated Deduction",
pages = "236-254",
year = "2000",
url = "citeseer.ist.psu.edu/emerson00reducing.html" }
Citations (may not include all citations):1180 Temporal Logic of Reactive and Concurrent Systems: Specifica.. (context) - Manna, Pnueli - 1992
725 Temporal and Modal Logic (context) - Emerson - 1991
539 The Temporal Logic of Programs (context) - Pnueli - 1977
434 An Automata-theoretic Approach to Automatic Program Verifica.. (context) - Vardi, Wolper - 1986
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
116 A Structural Induction Theorem for Processes (context) - Kurshan, McMillan - 1989
101 Better verification through symmetry - Ip, Dill - 1993
87 Reasoning about Systems with Many Processes (context) - German, Sistla - 1992
66 Reasoning about Networks with Many Identical Finite State Pr.. (context) - Browne, Clarke et al. - 1989
53 Verifying Systems with Replicated Components in Murphi - Ip, Dill - 1996
47 Avoiding the State Explosion Problem in Temporal Logic Model.. (context) - Clarke, Grumberg - 1987
43 Formal Methods in Systems Design (context) - Emerson, Sistla et al. - 1996
40 Reasoning about Rings - Emerson, Namjoshi - 1995
29 Limits for automatic verification of finite-state concurrent.. (context) - Apt, Kozen - 1986
29 Automatic Verification of Parameterized Synchronous Systems - Emerson, Namjoshi - 1996
26 A New Approach for the Verification of Cache Coherence Proto.. - Pong, Dubois - 1995
20 Verification of Infinite State Systems by Compositional Mode.. - McMillan
19 An Approach to Automating the Verification of Compact Parall.. (context) - Lubachevsky - 1984
17 Verifying Parametrized Networks using Abstracion and Regular.. (context) - Clarke, Grumberg et al. - 1995
16 Parametric Quantitative Temporal Reasoning - Emerson, Trefler - 1999
7 Synthesis of Concurrent Systems with Many Similar Processes - Attie, Emerson - 1998
2 Specification and Verification of Parametrized Parallel Prog.. (context) - Vernier - 1993
1 Parametrized Verification of Linear Networks Using Automata .. (context) - Sistla - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utexas.edu/ftp/pub/techreports/): More
Parametric Quantitative Temporal Reasoning - Emerson, Trefler (1999) (Correct)
Two Problems of TCP AIMD Congestion Control - Yang, Kim, Zhang, Lam (2000) (Correct)
Verifying Adder Circuits Using Powerlists - Adams (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC