A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for the Analysis and Construction of Systems, volume 1579 of Lecture Notes in Computer Science. Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Formal Methods in System Design, 20, 159--186, 2002 c - Verification Of Out-Of-Order Self-citation (Biere Clarke Zhu) (Correct)
No context found.
A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu, "Symbolic model checking without BDDs," in TACAS'99, Lecture Notes in Computer Science, Vol. 1579, Springer-Verlag, Amsterdam, The Netherlands, 1999.
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (2 citations) Self-citation (Biere) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In TACAS'99, volume 1579 of LNCS, pages 193--207. Springer, 1999.
Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (1 citation) Self-citation (Biere) (Correct)
No context found.
Biere, A., A. Cimatti, E. Clarke and Y. Zhu, Symbolic model checking without BDDs, in: R. Cleaveland, editor, TACAS'99, LNCS 1579 (1999), pp. 193--207.
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) Self-citation (Biere) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In TACAS'99, volume 1579 of LNCS, pages 193--207. Springer, 1999.
Liveness Checking as Safety Checking for Infinite State Spaces - Schuppan, Biere (2005) (1 citation) Self-citation (Biere) (Correct)
No context found.
Biere, A., A. Cimatti, E. Clarke and Y. Zhu, Symbolic model checking without BDDs, in: R. Cleaveland, editor, TACAS'99, LNCS 1579 (1999), pp. 193--207.
Software Tools for Technology Transfer manuscript No. - Will Be Inserted (2004) Self-citation (Biere) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In R. Cleaveland, editor, Tools and Algorithms for Construction and Analysis of Systems, Proceedings of the 5th International Conference, TACAS '99, Amsterdam, The Netherlands, March 22--28, 1999, volume 1579 of 1999.
Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (7 citations) Self-citation (Biere) (Correct)
No context found.
Biere, A., A. Cimatti, E. Clarke and Y. Zhu, Symbolic model checking without BDDs, in: TACAS, 99.
Microprocessor Using Symbolic Model Checking without BDDs - Armin Biere Edmund Self-citation (Biere Clarke Zhu) (Correct)
No context found.
A. Biere, A. Cimatti, Edmund M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In TACAS ' 99, 1999. to appear. 60, 61, 61, 61, 61, 62
Automated Abstraction Refinement for Model - Checking Large State Self-citation (Clarke) (Correct)
No context found.
Armin Biere, Alexandro Cimatti, Edmund M. Clarke, and Yunshan Zhu. Symbolic model checking without BDDs. In Proceedings of Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99), number 1579 in LNCS, 1999.
Completeness and Complexity of Bounded Model Checking - Clarke, Kroening.. (2004) (2 citations) Self-citation (Clarke) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), LNCS. Springer-Verlag, 1999.
A Counterexample Guided Abstraction - Refinement Framework For (2005) Self-citation (Clarke) (Correct)
No context found.
Armin Biere, Alessandro Cimatti, Edmund M. Clarke, and Yunshan Yhu. Symbolic model checking without BDDs. In Rance Cleaveland, editor, Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), volume 1579 of Lecture Notes in Computer Science, pages 193--207. Springer-Verlag, March 1999.
Bounded Model Checking for Timed Systems - Audemard, Cimatti, Kornilowicz.. (2002) (9 citations) Self-citation (Cimatti) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Yunshan Zhu. Symbolic Model Checking without BDDs. In Proc. TACAS'99, pages 193-207, 1999.
Bounded Model Checking for Past LTL - Benedetti, Cimatti (2003) (11 citations) Self-citation (Cimatti) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. LNCS, 1579:193--207, 1999.
Centro Per La Ricerca - Scientifica Tecnologica Povo Self-citation (Cimatti) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. CAV'99, 1999.
Automata-Theoretic Model Checking Revisited - Vardi (Correct)
No context found.
A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for the Analysis and Construction of Systems, volume 1579 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Amsterdam, The Netherlands, 1999.
Model Checking - Clarke, Schlingloff (2000) (755 citations) (Correct)
No context found.
Biere A., Cimatti A. and Zhu Y. [1999], Symbolic model checking without BDDs, in `Proc. Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99)', Vol. 1579 of LNCS, Springer.
Incremental and Complete Bounded Model Checking for Full.. - Heljanko, Junttila, Latvala (2005) (Correct)
No context found.
Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: TACAS. Volume 1579 of LNCS., Springer (1999) 193--207
Dynamic Transition Relation Simplification for Bounded Property.. - Kuehlmann (2004) (3 citations) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, "Symbolic model checking without BDDs," in 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), (Amsterdam, The Netherlands), pp. 193--207, March 1999.
Fine-Grain Conjunction Scheduling for Symbolic - Reachability Analysis Hoonsang (2002) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), pages 193--207, Amsterdam, The Netherlands, March 1999. LNCS 1579.
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
Armin Biere, Alessandro Cimatti, Edmund M. Clarke, and Yunshan Zhu, "Symbolic model checking without BDDs," in Proc. of TACAS'99, March 1999.
Enhanced Diameter Bounding via Structural Transformation - Baumgartner, Kuehlmann (2004) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, "Symbolic model checking without BDDs," in Tools and Algorithms for Construction and Analysis of Systems, March 1999.
Property Checking via Structural Analysis - Baumgartner, Kuehlmann, Abraham (2002) (8 citations) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, "Symbolic model checking without BDDs," in 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, March 1999.
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In TACAS, 1999.
Bounded Model Checking and Inductive Verification.. - Becker, Behle.. (2004) (Correct)
No context found.
A. Biere, A. Cimatti, and Y. Zhu. Symbolic model checking without BDDs. In TACAS'99, volume 1579 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
Scalable Automated Verification via Expert-System.. - Mony.. (2004) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, "Symbolic model checking without BDDs," in Tools and Algorithms for Construction and Analysis of Systems, March 1999.
Deadlock And Reachability Checking With Finite Complete Prefixes - Heljanko (1999) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proceedings of Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), pages 193--207. Springer-Verlag, 1999. LNCS 1579.
Planning as Satisfiability: Parallel Plans and - Algorithms For Plan (Correct)
No context found.
BIERE, A., CIMATTI, A., CLARKE, E. M., AND ZHU, Y. 1999. Symbolic model checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of 5th International Conference, TACAS'99, W. R. Cleaveland, Ed., Lecture Notes in Computer Science vol. 1579 (1999). Springer-Verlag, 193--207.
BDD-Based Decision Procedures for the Modal Logic K - Pan, Sattler, Vardi (2005) (Correct)
No context found.
BIERE A., CIMATTI A., CLARKE E., ZHU Y., "Symbolic Model Checking without BDDs", Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, vol. 1579 of LNCS, Springer-Verlag, 1999, p. 193-207.
Dependable High Performance Computing on a Parallel.. - Blochinger, Bündgen, al. (2000) (1 citation) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99), number 1579 in LNCS. Springer-Verlag, 1999.
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of TACAS'99, volume 1579 of LNCS, pages 193-207. Springer-Verlag, 1999.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of TACAS'99, volume 1579 of LNCS, pages 193--207. Springer-Verlag, 1999.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99), number 1579 in LNCS, 1999.
Planning as Satisfiability: Parallel Plans and.. - Rintanen, Heljanko.. (Correct)
No context found.
BIERE, A., CIMATTI, A., CLARKE, E. M., AND ZHU, Y. 1999. Symbolic model checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of 5th International Conference, TACAS'99, W. R. Cleaveland, Ed., Lecture Notes in Computer Science vol. 1579 (1999). Springer-Verlag, 193--207.
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of TACAS'99, volume 1579 of LNCS, pages 193--207. Springer-Verlag, 1999.
Bounded Model Checking for Interpreted Systems.. - Lomuscio, Lasica.. (2003) (1 citation) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of TACAS'99, volume 1579 of LNCS, pages 193{ 207. Springer-Verlag, 1999.
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. of TACAS'99, volume 1579 of LNCS, pages 193--207. Springer-Verlag, 1999.
Algebraic Simplification Techniques For Propositional.. - de Faria (2001) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In W. R. Cleaveland, editor, Proceedings of Tools and Algorithms for the 107 Construction and Analysis of Systems, LNCS 1579. Springer-Verlag, March 1999. (BMC instances available from URL http://www.cs.cmu.edu/modelcheck.
Improving System Reliability Via Model Checking: The.. - Bozzano (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In R. Cleaveland, editor, Proc. 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), volume 1579 of LNCS, pages 193-207. Springer-Verlag, 1999.
Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (1 citation) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In the 5 on Tools and Algorithms for the Construction and Analysis of Systems, 1999.
Sat-Based Decision Procedures For Automated Reasoning: A.. - Armando, Al. (2002) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proceedings of the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), 1999.
Optorsim - A Grid Simulator For Studying Dynamic Data Replication.. - Bell (2003) (5 citations) (Correct)
No context found.
Biere, A. & Cimatti, A & Clarke, E.M. & Zhu, Y. Symbolic Model Checking without BDDs. In R. Cleaveland (Ed.) Proc. 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), volume 1579 of LNCS, pages 193-207, Springer-Verlag, 1999.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99), number 1579 in LNCS, 1999.
Specifying and Analyzing Early Requirements in Tropos - Fuxman, Liu, Mylopoulos.. (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems, number 1579 in Lecture Notes in Computer Science, pages 193--207, Amsterdam, The Netherlands, March 1999. Springer.
Specifying and Analyzing Early Requirements in Tropos - Fuxman (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of the # # Conference on Tools and Algorithms for the Construction and Analysis of Systems, number 1579 in Lecture Notes in Computer Science, pages 193--207, Amsterdam, The Netherlands, March 1999. Springer.
Specifying and Analyzing Early Requirements: Some.. - Ariel Fuxman Lin (2003) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In the on Tools and Algorithms for the Construction and Analysis of Systems, 1999.
Formal Tropos: language and semantics - Fuxman Kazhamiakin Pistore (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of the International Conference on Tools and Algorithms for the Construction 22 and Analysis of Systems, number 1579 in Lecture Notes in Computer Science, pages 193--207, Amsterdam, The Netherlands, March 1999. Springer.
Verification In Multi-Agent Systems - Raimondi (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99), number 1579 in LNCS, 1999.
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (6 citations) (Correct)
No context found.
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for Construction and Analysis of Systems, pages 193--207, 1999.
Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
No context found.
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proceedings of Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99), number 1579 in LNCS, 1999.
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