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
60
views
13
references
Top references
cited by
17
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,674
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
Refinement of Trace Abstraction
other
Author(s):
Matthias Heizmann
,
Jochen Hoenicke
,
Andreas Podelski
Publication date
(Print):
2009
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
Trace Elements and Electrolytes
Most cited references
13
Record
: found
Abstract
: not found
Book Chapter
: not found
Counterexample-Guided Abstraction Refinement
Edmund Clarke
,
Orna Grumberg
,
Somesh Jha
…
(2000)
0
comments
Cited
157
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Interpolation and SAT-Based Model Checking
K. L. McMillan
(2003)
0
comments
Cited
83
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Lazy Abstraction with Interpolants
Kenneth McMillan
(2006)
0
comments
Cited
79
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 69-85
DOI:
10.1007/978-3-642-03237-0_7
SO-VID:
0239ea2b-02ae-4997-9d8f-cc5b0a171489
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Abstraction Refinement for Quantified Array Assertions
pp. 52
Automatic Parallelization and Optimization of Programs by Proof Rewriting
pp. 86
The Causal Graph Revisited for Directed Model Checking
pp. 69
Refinement of Trace Abstraction
pp. 238
Type Analysis for JavaScript
pp. 309
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Similar content
1,674
Kartogenin‐Conjugated Double‐Network Hydrogel Combined with Stem Cell Transplantation and Tracing for Cartilage Repair
Authors:
You‐Rong Chen
,
Xin Yan
,
Fu‐Zhen Yuan
…
Neurons are recruited to a memory trace based on relative neuronal excitability immediately before training.
Authors:
Adelaide P Yiu
,
Valentina Mercaldo
,
Hang-chen Yan
…
Flexible porphyrin doped polymer optical fibers for rapid and remote detection of trace DNT vapor.
Authors:
Huan Lin
,
Xin Cheng
,
Ming-Jie Yin
…
See all similar
Cited by
17
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
Authors:
Bishoksan Kafle
,
John P. Gallagher
,
José Morales
Inductive data flow graphs
Authors:
Azadeh Farzan
,
Zachary Kincaid
,
Andreas Podelski
Accelerating Interpolants
Authors:
Hossein Hojjat
,
Radu Iosif
,
Filip Konecny
…
See all cited by