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
74
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
2,167
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
2,167
Decision-making method based on new entropy and refined single-valued neutrosophic sets and its application in typhoon disaster assessment
Authors:
Rui-pu Tan
,
Wen-de Zhang
The structures of Nd1+xBa2−xCu3O7−δ (x = 0.05, 0.22, 0.42) phases refined from X-ray single-crystal data
Authors:
D.V. Fomichev
,
O.G. D'Yachenko
,
A.V. Mironov
…
DNA methylation‐based classification of glioneuronal tumours synergises with histology and radiology to refine accurate molecular stratification
Authors:
Thomas J. Stone
,
Kshitij Mankad
,
Ai Peng Tan
…
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