K. L. McMillan. Symbolic Model Checking. Kluwer Academic Press, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Accelerating External Search with Bitstate Hashing - Edelkamp, Jabbar (Correct)
Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
Design Methodology and Tools for Wireless System Design.. - Berkeley Wireless.. (Correct)
Rune M. Jensen, Manuela M. Veloso and Randal E. Bryant - Computer Science Department (Correct)
Reasoning about Action and Cooperation - Sauro, Gerbrandy, van der Hoek.. (2006) (Correct)
Formal Verification of Distributed Mutual-Exclusion.. - Meolic, Kapus, Dugonik.. (Correct)
Embedding and Verification of PSL using AsmL - Amjad Gawanmeh Ali (Correct)
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at.. - Moy, Maraninchi, al. (Correct)
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
Int J Softw Tools Technol Transfer (2004) 6: 257--259 /.. - Special Section On (Correct)
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (3 citations) (Correct)
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2004) (3 citations) (Correct)
Software Verification Research Centre - School Of Information (1995) (4 citations) (Correct)
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
Improving System Reliability Via Model Checking: The.. - Bozzano (2003) (Correct)
Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (1 citation) (Correct)
The Impact of AND/OR Search Spaces on Constraint.. - Dechter, Mateescu (2004) (Correct)
Rigorous Development of a Safety-Critical System.. - Xu, Randell.. (1999) (6 citations) (Correct)
Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
Requirements-Level Semantics and Model Checking of.. - Eshuis, Jansen, Wieringa (2002) (Correct)
A. Cimatti, M. Pistore, and M. Roveri - International Conference On (Correct)
Memory Efficient State Storage in SPIN - Visser, Barringer (1995) (6 citations) (Correct)
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
Model-Based Formal Analysis of Temporal Aspects in.. - Loer, Harrison (2003) (Correct)
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (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