Model checking guarded protocols

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2003, Pages 361-370

  Emerson, E Allen ^a   Kahlon, Vineet ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; SET THEORY; AUTOMATA THEORY; BRIDGES; BROADCASTING; COHERENT LIGHT; COMPUTABILITY AND DECIDABILITY; CONTRACTS; MULTIPROCESSING SYSTEMS; NETWORK PROTOCOLS; PROCESS CONTROL; PROGRAM PROCESSORS; SEMANTICS; TEMPORAL LOGIC;

PARAMETERIZATION;

NETWORK PROTOCOLS; MODEL CHECKING;

ASYNCHRONOUS RENDEZVOUS; AUTOMATA; COMMUNICATION PRIMITIVES; COMMUNICATION SYSTEM CONTROL; DECIDABILITY/UNDECIDABILITY; INTERLEAVED CODES; INTERLEAVING SEMANTICS; PARAMETERIZED MODEL CHECKING;

EID: 0042969042     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. P. Abdulla, K. Cerans, B. Johnson, Y. K. Tsay. General Decidability Theorems for Infinite State Systems. LICS. 1996.
2. K. Apt and D. Kozen. Limits for automatic verification of finite-state concurrent systems. IPL, 15, 307-309, 1986.
3. D. E. Culler and J. P. Singh. Parallel Computer Architecture: A Hardware/Software Approach. Morgan Kaufmann Publishers, 1998.
4. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. Logics of Programs Workshop, LNCS 131, pp 52-71, 1981.
5. G. Delzanno. Automatic Verification of Parameterized Cache Coherence Protocols. CAV 2000, 51-68.
6. G. Delzanno, J. Raskin, L. V. Begin. Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002. 173-187.
7. E.A. Emerson and V. Kahlon. Reducing Model Checking of the Many to the Few. CADE. 2000.
8. E.A. Emerson and K.S. Namjoshi. On Model Checking for Non-Deterministic Infinite-State Systems. LICS 1998.
9. E. A. Emerson and K. S. Namjoshi. Automatic Verification of Parameterized Synchronous Systems, CAV, 1996.
10. J. Esparza, A Finkel and R. Mayr, On the Verification of Broadcast Protocols. LICS 1999, 352-359.
11. J. Esparza and M. Nielsen: Decidability Issues for Petri Nets - a survey Journal of Information Processing and Cybernetics 30(3), 1994, pp. 143-160.
12. S.M. German and A.P. Sistla. Reasoning about Systems with Many Processes. J. ACM, 39(3), July 1992.
13. J. Handy. The Cache Memory Book. Academic Press, 1993.
14. M. Vardi and P. Wolper. An Automata-Theoretic Approach to Automatic Program Verification. LICS, 1986.