Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Abstraction Refinement for Termination - Ron Cook Andreas (2005) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer, 1995.
Termination Proofs for Systems Code - Ron Cook Microsoft (2006) (1 citation) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer, 1995.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems -- Safety. Springer Verlag, 1995.
Formal Verification of Backward Compatibility of - Microcode Tamarah Arons (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. SpringerVerlag, New York, 1995.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
Z. Manna, A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
Developing Multiagent Systems: The Gaia Methodology - Zambonelli, Jennings.. (2003) (26 citations) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems --- Safety. Springer Verlag, Berlin (D), 1995.
Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (1 citation) (Correct)
No context found.
MANNA, Z. AND PNUELI, A. 1995. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York.
A MONA-based Decision Procedure for Propositional Interval.. - Gomez, Bowman (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: safety. Springer, 1995.
Discrete Timed Automata and MONA: Description, Specification.. - Gomez, Bowman (2003) (Correct)
No context found.
Manna, Z., Pnueli, A.: Temporal verification of reactive systems: safety. Springer (1995)
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer Verlag, 1995.
Runtime Safety Analysis of Multithreaded Programs - Sen, Rosu, Agha (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag N.Y., Inc., 1995. *
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag N.Y., Inc., 1995.
Efficient Monitoring of Safety Properties - Havelund, Rosu (2002) (1 citation) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, New York, 1995.
Runtime Safety Analysis of Multithreaded Programs - Koushik Sen Ksen (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag N.Y., Inc., 1995.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag N.Y., Inc., 1995.
Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (1 citation) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
Monitoring Algorithms for Metric Temporal Logic Specifications - Thati, Rosu (2004) (1 citation) (Correct)
No context found.
Zohar Manna and Amir Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, New York, 1995.
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (1 citation) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, New York, 1995.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2004) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag N.Y., Inc., 1995.
Organisation Modelling for the Dynamics of Complex.. - Bosse, Jonker, Treur (Correct)
No context found.
Manna, Z., and Pnueli, A. (1995). Temporal Verification of Reactive Systems: Safety. Springer Verlag.
Automated Verification of State-based specifications against.. - Bontemps (2001) (Correct)
No context found.
Zohar Manna & Amir Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag, New-York, 1995.
Information Societies Technology - Ist Programme Future (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. SpringerVerlag, 1995.
A Strategy for Efficiently Verifying Requirements.. - Jeffords, Heitmeyer (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, NY, 1995.
Information-Intensive Proof Technology - Constable (2003) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, Berlin, 1995.
Model Checking Knowledge and Time via Local.. - van der Hoek.. (2004) (Correct)
No context found.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems --- Safety. Springer-Verlag: Berlin, Germany, 1995.
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