Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(2)
State Explosion
Symbolic Model Checking
Related Publications
(99)
The Model Checker SPIN
Formal Verification for FaultTolerant Architectures: Prolegomena to the Design of PVS
GraphBased Algorithms for Boolean Function Manipulation
Model checking
Symbolic Model Checking: 10^20 States and Beyond
Subscribe
Academic
Publications
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem,K. L. McMillan
Edit
Symbolic model checking: an approach to the state explosion problem
(
Citations: 925
)
BibTex

RIS

RefWorks
Download
K. L. McMillan
Published in 1993.
Cumulative
Annual
Citation Context
(391)
...6 has been formally proven by means of the SMV model checker (
McMillan 1993
)...
Mark Hoogendoorn
,
et al.
A generic architecture for redesign of organizations triggered by chan...
...However, it suffers from the wellknown state explosion problem [
5
]...
Nan Zhang
,
et al.
Verification of Hardware Designs: A Case Study
...Such an operator would be in the spirit of the ‘‘next’’ operator in SMV language [
34
], which is an input language for a family of model checkers with the same name...
Shahram EsmaeilsabzaliNancy
,
et al.
Deconstructing the semantics of bigstep modelling languages
...Other works which exploit further techniques to eliminate previously computed solutions in SAT include, e.g., [29, 43, 49] in the context of symbolic model checking [
42
]...
Emanuele Di Rosa
,
et al.
Solving satisfiability problems with preferences
...It is also difficult to apply to dataintensive applications because the treatment of the data usually results in an infinite state space [
12
], [13]...
Shaoying Liu
,
et al.
A Rigorous Method for Inspection of ModelBased Formal Specifications
Sort by:
Citations
(925)
SymmetryAware Predicate Abstraction for SharedVariable Concurrent Programs (Extended Technical Report)
(
Citations: 1
)
Alastair F. Donaldson
,
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
Journal:
Computing Research Repository  CORR
, vol. abs/1102.2, 2011
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Mark Hoogendoorn
,
Catholijn M. Jonker
,
Jan Treur
Journal:
Computational and Mathematical Organization Theory  COMPUT MATH ORGAN THEORY
, vol. 17, no. 2, pp. 119151, 2011
Verification of Hardware Designs: A Case Study
Nan Zhang
,
Zhenhua Duan
Conference:
ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering  CNSI
, 2011
Searching for Safety Violations Using Estimation of Distribution Algorithms
(
Citations: 3
)
Jan Staunton
,
John A. Clark
Published in 2010.
Algebraic simulations
(
Citations: 2
)
José Meseguer
,
Miguel Palomino
,
Narciso MartíOliet
Journal:
The Journal of Logic and Algebraic Programming  JLP
, vol. 79, no. 2, pp. 103143, 2010