J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In Proc. 5th International Symp. on Programming, volume 137 of Lecture Notes in Computer Science, pages 337--351. Springer-Verlag, 1981. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
Microprocessor Using Symbolic Model Checking without BDDs - Armin Biere Edmund (Correct)
Model Checking and Abstraction - Edmund Clarke Carnegie (1992) (202 citations) (Correct)
Compositional Model Checking - Clarke Long Mcmillan (111 citations) (Correct)
Model Checking Probabilistic Distributed - Systems Benedikt Bollig (Correct)
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
Correct Development of Embedded Systems - Graf, Hooman (2004) (Correct)
On Message Specifications in OCL - Kyas, de Boer (2003) (3 citations) (Correct)
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
Software Technology Maturation Study: Model Checking Techniques.. - Poladian (2001) (Correct)
A Model-Checking Approach to Safe SFCs - Huuck, Lukoschus, Bauer (2003) (Correct)
Compositional Analysis for Verification of Parameterized.. - Basu, Ramakrishnan (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) (Correct)
Generation of All Counter-Examples for Push-Down Systems - Basu, Saha, Lin, Smolka (2003) (Correct)
Verification of Hybrid Controlled Processing Systems Based on.. - Frehse, al. (2001) (Correct)
Towards Automatic Verification of Embedded Control Software - Bauer, Huuck (2001) (Correct)
A Formal Specification and Verification of a.. - Gnesi, Latella.. (2000) (Correct)
Information Societies Technology - Ist Programme Future (Correct)
Verifying Untimed and Timed Aspects of the Experimental.. - Huuck, Lukoschus, al. (2001) (Correct)
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
Software Model Checking: The VeriSoft Approach - Patrice Godefroid Bell (2003) (2 citations) (Correct)
On Translating Linear Temporal Logic into Alternating and.. - Tauriainen (2003) (3 citations) (Correct)
First 50 documents Next 50
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