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.
Model Checking Concurrent Systems with Unbounded Integer.. - Bultan, Gerber, Pugh (1998) (26 citations) Self-citation (Checking) (Correct)
No context found.
K. L. McMillan. Symbolic model checking. Massachusetts, 1993, Kluwer Academic Publishers.
Model Checking Java Using Pushdown Systems - Obdrzálek (2002) (1 citation) Self-citation (Checking) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) Self-citation (Checking) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Ecient Symbolic Model Checking of Software - Using Partial Disjunctive Self-citation (Checking) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Model Checking for Probability and Time: From Theory to Practice - Kwiatkowska (2003) (6 citations) Self-citation (Checking) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Symbolic Model Checking of Probabilistic Processes .. - de Alfaro.. (2000) (5 citations) Self-citation (Checking) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
A New Unfolding Approach to LTL Model Checking - Esparza, Heljanko (2000) (5 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.
Specifying and Analyzing Early Requirements in Tropos - Fuxman (2003) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publisher, 1993.
Formal Tropos: language and semantics - Fuxman Kazhamiakin Pistore (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publisher, 1993.
So Many States, So Little Time: Verifying Memory Coherence.. - Abts, Scott, Lilja (2003) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking, pages 61--85. Kluwer Academic Publishers, 1993.
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (6 citations) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.
Using Abstractions for Heuristic State Space Exploration of.. - Lettrari (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Distributed Explicit Fair Cycle Detection - Cerna, Pelane (2003) (4 citations) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publisher, 1994.
Linear Reachability Problems and Minimal Solutions to Linear.. - Xie, Li, Dang (2004) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.
New Complexity Results for Some Linear Counting Problems Using .. - Xie, Li, Dang (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.
Formal Verification of a System-on-Chip Using Computation.. - Sen, Bhadra, Garg, Abraham (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Efficient Symbolic Representations for Arithmetic Constraints .. - Bartzis, Bultan (2003) (1 citation) (Correct)
No context found.
K. L. McMillan. Symbolic model checking. Kluwer Academic Publishers, Massachusetts, 1993.
Towards a Model-Based and Incremental Development.. - Deubler.. (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, 1993.
Formal Modeling and Analysis of an Avionics Triplex.. - Dajani-Brown, Cofer, .. (Correct)
No context found.
K. McMillan, Symbolic Model Checking , Kluwer Academic Publishers, Boston, Dordrecht, London, 1993.
XFM: An Incremental Methodology for Developing Formal - Models Syed Mohammed (Correct)
No context found.
, Symbolic model checking, Kluwer Academic Publishers, 1993.
Executable Protocol Specification in ESL - Clarke German Veith (2000) (3 citations) (Correct)
No context found.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
Breaking Up is Hard to Do: An Investigation of.. - Cobleigh, Avrunin.. (2004) (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) (Correct)
No context found.
K. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.
Modelling and Verification of Layered Security.. - Grünbauer.. (Correct)
No context found.
K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, 1993.
Symbolic Representations and Analysis of Large State Spaces - Miner, Parker (2003) (1 citation) (Correct)
No context found.
K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 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