Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
26
views
18
references
Top references
cited by
11
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,242
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Generating finite-state abstractions of reactive systems using decision procedures
other
Author(s):
Michael A. Colón
,
Tomás E. Uribe
Publication date
(Online):
June 18 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
18
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Abstract interpretation
Patrick Cousot
,
Radhia Cousot
(1977)
0
comments
Cited
364
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Symbolic Model Checking
Kenneth McMillan
(1993)
0
comments
Cited
168
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model checking and abstraction
Edmund M. Clarke
,
Orna Grumberg
,
David Long
(1994)
0
comments
Cited
103
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1998
Publication date (Online):
June 18 2005
Pages
: 293-304
DOI:
10.1007/BFb0028753
SO-VID:
0bb702bb-fe97-4710-8ba9-f6cc0f2a0796
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Synchronous programming of reactive systems
pp. 17
Ten years of partial order reduction
pp. 172
Using magnetic disk instead of main memory in the Mur ϕ verifier
pp. 280
A comparison of Presburger engines for EFSM reachability
pp. 477
Design constraints in symbolic model checking
pp. 88
Verifying systems with infinite but regular state spaces
pp. 110
Verification of an implementation of Tomasulo's algorithm by compositional model checking
pp. 147
Symmetry reductions in model checking
pp. 184
On-the-fly model checking of RCTL formulas
pp. 195
From pre-historic to post-modern symbolic model checking
pp. 293
Generating finite-state abstractions of reactive systems using decision procedures
pp. 319
Computing abstractions of infinite state systems compositionally and automatically
pp. 440
You assume, we guarantee: Methodology and case studies
pp. 452
Verification of a parameterized bus arbitration protocol
pp. 505
InVeSt : A tool for the verification of invariants
pp. 546
Kronos: A model-checking tool for real-time systems
Similar content
1,242
Developing an OER Website and Analyzing Its Use during the COVID-19 Pandemic
Authors:
Howard Chen
Modelling phase behavior of biodiesel related systems with CO2 using a polar version of PC-SAFT
Authors:
Gianfranco Rodriguez
,
Eric J Beckman
A university sport coach community of practice: using a value creation framework to explore learning and social interactions
Authors:
R. Bertram
,
DM Culver
,
W Gilbert
…
See all similar
Cited by
11
SATABS: SAT-Based Predicate Abstraction for ANSI-C
Authors:
Edmund Clarke
,
Daniel Kroening
,
Natasha Sharygina
…
Incremental Verification by Abstraction
Authors:
Y. Lakhnech
,
S. Bensalem
,
S. Berezin
…
Counter-Example Based Predicate Discovery in Predicate Abstraction
Authors:
Satyaki Das
,
David Dill
See all cited by