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
67
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,049
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,049
Acquired genomic alterations in circulating tumor DNA from patients receiving abemaciclib alone or in combination with endocrine therapy. (Abstract)
Authors:
Abstract GS1-11: Sacituzumab Govitecan (SG) vs Treatment of Physician’s Choice (TPC): Efficacy by Trop-2 Expression in the TROPiCS-02 Study of Patients (Pts) With HR+/HER2– Metastatic Breast Cancer (mBC)
Authors:
Hope Rugo
,
Aditya Bardia
,
Frederik Marmé
…
Abstract GS3-06: GS3-06 Palbociclib After CDK4/6i and Endocrine Therapy (PACE): A Randomized Phase II Study of Fulvestrant, Palbociclib, and Avelumab for Endocrine Pre-treated ER+/HER2- Metastatic Breast Cancer
Authors:
Erica L. Mayer
,
Yue Ren
,
Nikhil Wagle
…
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