Symbolic model checking: 1020 States and beyond

Jerry R. Burch; E. M. Clarke; Kenneth L. McMillan; David L. Dill; L.J. Hwang

doi:10.1016/0890-5401(92)90017-a

Keywords

Model checkingComputer scienceTheoretical computer scienceArtificial intelligenceProgramming language

Affiliated Institutions

Related Publications

The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing

Christian Robert Trott , Luc Berger‐Vergiat , David Poliakoff +7 more

State of the art Engineering and Science codes have grown in complexity dramatically over the last two decades. As a consequence application teams have adopted more sophisticate...

2021 Computing in Science & Engineering 97 citations

A really temporal logic

Rajeev Alur , T. A. Henzinger

A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers ov...

1989 30th Annual Symposium on Foundations ... 162 citations

On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

Hemant K. Bhargava , Ramayya Krishnan , Peter Piela

The use of strong typing, exemplified in the Ascend modeling language, is a recent phenomenon in executable modeling languages for mathematical modeling. It is also one that has...

1998 INFORMS journal on computing 6 citations

Higher Order Software—A Methodology for Defining Software

Margaret Hamilton , S. Zeldin

The key to software reliability is to design, develop, and manage software with a formalized methodology which can be used by computer scientists and applications engineers to d...

1976 IEEE Transactions on Software Enginee... 109 citations

Sparse Representation for Signal Classification

Ke Huang , Selin Aviyente

In this paper, application of sparse representation (factorization) of signals over an overcomplete basis (dictionary) for signal classification is discussed.Searching for the s...

2007 The MIT Press eBooks 613 citations

Publication Info

Year: 1992
Type: article
Volume: 98
Issue: 2
Pages: 142-170
Citations: 2673
Access: Closed

External Links

Download PDF (Free) View on DOI.org Semantic Scholar

Social Impact

Altmetric

Symbolic model checking: 1020 States and beyond

PlumX Metrics

Social media, news, blog, policy document mentions

Citation Metrics

2673

OpenAlex

Influential

1137

CrossRef

Cite This

APA Style

                            
                                
                                    Jerry R. Burch, 
                                
                                    E. M. Clarke, 
                                
                                    Kenneth L. McMillan
                                
                                et al.
                            
                            (1992). 
                            Symbolic model checking: 1020 States and beyond. 
                            Information and Computation
                            , 98
                            (2)
                            , 142-170.
                            https://doi.org/10.1016/0890-5401(92)90017-a
                        

Identifiers

DOI: 10.1016/0890-5401(92)90017-a

Data Quality

Data completeness: 68%