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
(1)
Symbolic Model Checking
Related Publications
(1)
Automatic verification of finitestate concurrent systems using temporal logic specifications
Subscribe
Academic
Publications
Symbolic model checking
Symbolic model checking,Kenneth L. McMillan
Edit
Symbolic model checking
(
Citations: 1765
)
BibTex

RIS

RefWorks
Download
Kenneth L. McMillan
Published in 1993.
Cumulative
Annual
Citation Context
(1228)
...An existing solution to that in single system model checking is to use symbolic representations [
29
]...
...problem and allow to verify large state spaces [
29
]...
Andreas Classen
,
et al.
Symbolic model checking of software product lines
...1 in a tool called BioCheck ,u singCadence SMV [
32
] as the implementation of PROVE and Z3 [33] as the decision procedure...
Byron Cook
,
et al.
Proving Stabilization of Biological Systems
...There have been many approaches for deadlock detection, e.g., using explicit state space [2], [3], [4], symbolic model checking [
5
] and SAT solving [6]...
...As usual for symbolic representations[
5
], the transition relation is encoded using separate current and next state variables...
Saddek Bensalem
,
et al.
Efficient deadlock detection for concurrent systems
...SMV [
28
] and SPIN are probably the two best known model checkers...
Tatsuhiro Tsuchiya
,
et al.
Verification of consensus algorithms using satisfiability solving
...Numerous approaches have been introduced for alleviating statespace explosion, for example symbolic model checking [
29
], onthefly [28], compositional reasoning [12], [32] local model checking [34], partial order [21], and abstraction [13]...
Gianpiero Francesca
,
et al.
Ant Colony Optimization for Deadlock Detection in Concurrent Systems
Sort by:
Citations
(1765)
Symbolic model checking of software product lines
(
Citations: 2
)
Andreas Classen
,
Patrick Heymans
,
PierreYves Schobbens
,
Axel Legay
Conference:
International Conference on Software Engineering  ICSE
, pp. 321330, 2011
An efficient algorithm for the parallel solution of highdimensional differential equations
(
Citations: 1
)
Stefan Klus
,
Tuhin Sahai
,
Cong Liu
,
Michael Dellnitz
Journal:
Journal of Computational and Applied Mathematics  J COMPUT APPL MATH
, vol. 235, no. 9, pp. 30533062, 2011
Proving Stabilization of Biological Systems
(
Citations: 1
)
Byron Cook
,
Jasmin Fisher
,
Elzbieta Krepska
,
Nir Piterman
Conference:
Verification, Model Checking and Abstract Interpretation  VMCAI
, pp. 134149, 2011
A formal framework to model and validate eventbased software architecture
Yahya Asadollahi
,
Vahid Rafe
,
Samaneh Asadollahi
,
Somayeh Assadollahi
Journal:
Procedia Computer Science
, vol. 3, pp. 961966, 2011
Flash memory efficient LTL model checking
Stefan Edelkamp
,
Damian Sulewski
,
Jiri Barnat
,
Lubos Brim
,
Pavel Simecek
Journal:
Science of Computer Programming  SCP
, vol. 76, no. 2, pp. 136157, 2011