603 citations found. Retrieving documents...
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Automata-Theoretic Model Checking Revisited - Vardi   Self-citation (Checking)   (Correct)

No context found.

K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006)   Self-citation (Checking)   (Correct)

No context found.

Ken L. McMillan. Symbolic Model Checking.Kluwer Academic Publishers, 1993.


Informatica 29 (2005) 219--226 219 - System Resource Utilization   Self-citation (Checking)   (Correct)

No context found.

K. L. Macmillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.


Check and Simulate: A Case for Incorporating Model.. - Sobeih, Viswanathan, Hou (2004)   Self-citation (Checking)   (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004)   Self-citation (Checking)   (Correct)

No context found.

K. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.


Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002)   (1 citation)  Self-citation (Checking)   (Correct)

No context found.

K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby   Self-citation (Checking)   (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Deadlock And Reachability Checking With Finite Complete Prefixes - Heljanko (1999)   Self-citation (Checking)   (Correct)

No context found.

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Treewidth in Verification: Local vs. Global - Ferrara, Pan, Vardi   Self-citation (Checking)   (Correct)

No context found.

K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003)   Self-citation (Checking)   (Correct)

No context found.

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Implementing LTL Model Checking with Net Unfoldings - Esparza, Heljanko (2001)   (3 citations)  Self-citation (Checking)   (Correct)

No context found.

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Counterexample Minimization for ACTL ShengYu Shen - Ying Qin And   (Correct)

No context found.

K.L.McMillan. Symbolic model checking. Kluwer Academic Publishers, 1993.


Modular Verification of Code with SAT - Greg Dennis Felix (2006)   (Correct)

No context found.

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004)   (1 citation)  (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Unknown -   (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Path Queries on Compressed XML - Peter Buneman Martin (2003)   (9 citations)  (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


EPSL: Executable Protocol Specification Language - Edmund Clarke Yuan   (Correct)

No context found.

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Executable Protocol Specification in ESL - Clarke German Lu (2000)   (3 citations)  (Correct)

No context found.

K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Term-Level Verification of a Pipelined CISC - Microprocessor Randal Bryant (2005)   (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1992.


Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005)   (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


FormalSpecificationinVHDL - Forhardwareverification Ralfreetz..   (Correct)

No context found.

K.L.McMillan.SymbolicModelChecking.Kluwer AcademicPublishers,NorwellMassachusetts,1993.


A Practical Perspective on the Verifying Compiler Proposal - Ireland   (Correct)

No context found.

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.


Efficient BDDs for Bounded Arithmetic Constraints - Bartzis, Bultan   (Correct)

No context found.

K. L. McMillan. Symbolic model checking. Kluwer Academic Publishers, Massachusetts, 1993.


ACM International Symposium on Software Testing and.. - Korat Automated Testing   (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.


Inductive Verification of Cryptographic Protocols - Bella (2000)   (4 citations)  (Correct)

No context found.

K. McMillan. Symbolic Model Checking. Kluwer Academic Publisher, 1993.

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