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
58
views
0
references
Top references
cited by
2
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,280
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Computer Aided Verification
other
Editor(s):
Ed Brinksma
,
Kim Guldstrand Larsen
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
ScienceOpen Research
Author and book information
Book
ISBN (Print):
978-3-540-43997-4
ISBN (Electronic):
978-3-540-45657-5
Publication date (Print):
2002
Publication date (Online):
September 20 2002
DOI:
10.1007/3-540-45657-0
SO-VID:
5e4e2c13-00e2-4891-9103-c53983029899
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
1,280
Towards a "fourth generation" of approaches to HIV/AIDS management: creating contexts for effective community mobilisation.
Authors:
Catherine Campbell
,
Flora Cornish
Effectiveness of the active communication education program in improving the general quality of life of older adults who use hearing aids: a randomized clinical trial
Authors:
Anthony Marcotti
,
Sebastián Rivera
,
Catherine Silva-Letelier
…
A Privacy-preserving Edge Computation-Based Face Verification System for User Authentication
Authors:
Xiang Wang
,
Heyu Xue
,
Xuefeng Liu
…
See all similar
Cited by
2
A New Rule for LTL Tableaux
Authors:
Mark Reynolds
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
Authors:
Muhammad Mufid
,
Dieky Adzkiya
,
Alessandro Abate
See all cited by