Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
27
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
3,443
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
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
Business Model Innovation in engineering
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
32
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
3,443
NHS staff march against passport checks
Authors:
Zosia Kmietowicz
Check list of the fishes and fishlike vertebrates of North and Middle America north of the boundary of Venezuela and Colombia
Authors:
D. Jordan
,
B. W. EVERMANN
,
H. Clark
…
From disinformation to fact-checking: How Ibero-American fact-checkers on Twitter combat fake news
Authors:
María-Isabel Míguez-González
,
Xabier Martínez-Rolán
,
Silvia García-Mirón
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