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
45
views
19
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,540
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Automatically Refining Abstract Interpretations
other
Author(s):
Bhargav S. Gulavani
,
Supratik Chakraborty
,
Aditya V. Nori
,
Sriram K. Rajamani
Publication date
(Print):
2008
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
Point-Of-Care Testing for AMR
Most cited references
19
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Abstract interpretation
Patrick Cousot
,
Radhia Cousot
(1977)
0
comments
Cited
364
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
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Lazy abstraction
Thomas Henzinger
,
Ranjit Jhala
,
Rupak Majumdar
…
(2002)
0
comments
Cited
65
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Pages
: 443-458
DOI:
10.1007/978-3-540-78800-3_33
SO-VID:
257bf961-fa9a-4e0e-8b20-d6d02d776f81
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 2
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
pp. 33
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
pp. 93
Computing Simulations over Tree Automata
pp. 18
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
pp. 315
On Verifying Fault Tolerance of Distributed Protocols
pp. 428
Accelerating Interpolation-Based Model-Checking
pp. 63
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
pp. 78
On-the-Fly Techniques for Game-Based Software Model Checking
pp. 173
On Automated Verification of Probabilistic Programs
pp. 265
On Local Reasoning in Verification
pp. 282
Interprocedural Analysis of Concurrent Programs Under a Context Bound
pp. 299
Context-Bounded Analysis of Concurrent Queue Systems
pp. 337
Z3: An Efficient SMT Solver
pp. 346
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
pp. 351
RWset: Attacking Path Explosion in Constraint-Based Test Generation
pp. 367
Demand-Driven Compositional Symbolic Execution
pp. 382
Peephole Partial Order Reduction
pp. 397
Efficient Interpolant Generation in Satisfiability Modulo Theories
pp. 413
Quantified Invariant Generation Using an Interpolating Saturation Prover
pp. 443
Automatically Refining Abstract Interpretations
pp. 486
Rocket-Fast Proof Checking for SMT Solvers
Similar content
2,540
A Telesurveillance System With Automatic Electrocardiogram Interpretation Based on Support Vector Machine and Rule-Based Processing
Authors:
Te-Wei Ho
,
Chen-Wei Huang
,
Ching-Miao Lin
…
Abstraction and interpretation during the qualitative content analysis process
Authors:
Britt-Marie Lindgren
,
Berit Lundman
,
Ulla Graneheim
Automatic seizure detection and classification using super-resolution superlet transform and deep neural network -A preprocessing-less method
Authors:
Prashant Mani Tripathi
,
Ashish Kumar
,
Manjeet Kumar
…
See all similar
Cited by
17
Refinement of Trace Abstraction
Authors:
Matthias Heizmann
,
Jochen Hoenicke
,
Andreas Podelski
Automatic Abstraction in SMT-Based Unbounded Software Model Checking
Authors:
Anvesh Komuravelli
,
Arie Gurfinkel
,
Sagar Chaki
…
Explicit-State Software Model Checking Based on CEGAR and Interpolation
Authors:
Dirk Beyer
,
Stefan Löwe
See all cited by