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
34
views
7
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,056
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Regular Tree Model Checking
other
Author(s):
Parosh Aziz Abdulla
,
Bengt Jonsson
,
Pritha Mahata
,
Julien d’Orso
Publication date
(Online):
September 20 2002
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
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
In vitro alveolar region models
Most cited references
7
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
Book Chapter
: not found
Automatic Deductive Verification with Invisible Invariants
Amir Pnueli
,
Sitvanit Ruah
,
Lenore D. Zuck
(2001)
0
comments
Cited
33
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Symbolic model checking with rich assertional languages
Y. Kesten
,
O. Maler
,
M. Marcus
…
(2001)
0
comments
Cited
23
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2002
Publication date (Online):
September 20 2002
Pages
: 555-568
DOI:
10.1007/3-540-45657-0_47
SO-VID:
02ff4803-46d0-4788-9d31-fd2b49860895
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 65
Symbolic Localization Reduction with Reconstruction Layering and Backtracking
pp. 17
The Quest for Efficient Boolean Satisfiability Solvers
pp. 58
Infinite Games and Verification
pp. 78
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
pp. 107
Liveness with (0,1, ∞)- Counter Abstraction
pp. 209
Deciding Separation Formulas with SAT
pp. 223
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
pp. 236
Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
pp. 265
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
pp. 349
The AVISS Security Protocol Analysis Tool
pp. 365
The d/dt Tool for Verification of Hybrid Systems
pp. 414
Synchronous and Bidirectional Component Interfaces
pp. 428
Interface Compatibility Checking for Software Modules
pp. 442
Practical Methods for Proving Program Termination
pp. 485
Vacuum Cleaning CTL Formulae
pp. 500
CVC: A Cooperating Validity Checker
pp. 526
Temporal-Safety Proofs for Systems Code
pp. 539
Extrapolating Tree Transformations
pp. 555
Regular Tree Model Checking
pp. 610
Fair Simulation Minimization
Similar content
4,056
Phylogenetic composition and structure of tree communities shed light on historical processes influencing tropical rainforest diversity
Authors:
Marcos B Carlucci
,
Guilherme D. S. Seger
,
Douglas Sheil
…
Undergraduate students’ norms for the Chinese version of the symptom check-List-90-R (SCL-90-R)
Authors:
Yulan YU
,
Chonghua Wan
,
Xudong Zhao
…
Genetic variation of lodgepole pine, Pinus contorta var. latifolia, chemical and physical defenses that affect mountain pine beetle, Dendroctonus ponderosae, attack and tree mortality.
Authors:
Daniel Ott
,
Alvin Yanchuk
,
Dezene Huber
…
See all similar
Cited by
12
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
Authors:
Ahmed Bouajjani
,
Peter Habermehl
,
Adam Rogalewicz
…
Algorithmic Improvements in Regular Model Checking
Authors:
Parosh Aziz Abdulla
,
Bengt. Jonsson
,
Marcus Nilsson
…
Omega-Regular Model Checking
Authors:
Bernard Boigelot
,
Axel Legay
,
Pierre Wolper
See all cited by