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
47
views
6
references
Top references
cited by
45
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,969
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Apron: A Library of Numerical Abstract Domains for Static Analysis
other
Author(s):
Bertrand Jeannet
,
Antoine Miné
Publication date
(Print):
2009
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
Core Readings in Statistical Mediation Analysis
Most cited references
6
Record
: found
Abstract
: not found
Article
: not found
Affine relationships among variables of a program
Michael Karr
(1976)
0
comments
Cited
52
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Static analysis of linear congruence equalities among variables of a program
Philippe Granger
(1991)
0
comments
Cited
17
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Static analysis of arithmetical congruences
Philippe Granger
(1989)
0
comments
Cited
13
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 661-667
DOI:
10.1007/978-3-642-02658-4_52
SO-VID:
756056b4-bdab-40cd-822a-9951649a0edb
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 188
Requirements Validation for Hybrid Systems
pp. 383
Quantifier Elimination via Functional Composition
pp. 35
Models and Proofs of Protocol Security: A Progress Report
pp. 51
SPEED: Symbolic Complexity Bound Analysis
pp. 696
Translation Validation: From Simulink to C
pp. 157
Automatic Verification of Integer Array Programs
pp. 204
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
pp. 233
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
pp. 263
An Antichain Algorithm for LTL Realizability
pp. 306
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
pp. 337
Sliding Window Abstraction for Infinite Markov Chains
pp. 398
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
pp. 430
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
pp. 462
Generalizing DPLL to Richer Logics
pp. 477
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
pp. 509
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
pp. 540
Reachability Analysis of Hybrid Systems Using Support Functions
pp. 614
D-Finder: A Tool for Compositional Deadlock Detection and Verification
pp. 627
The Zonotope Abstract Domain Taylor1+
pp. 634
InvGen: An Efficient Invariant Generator
pp. 641
INFAMY: An Infinite-State Markov Model Checker
pp. 661
Apron: A Library of Numerical Abstract Domains for Static Analysis
pp. 682
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
pp. 709
PAT: Towards Flexible Verification under Fairness
Similar content
3,969
A novel complete radiation protection system eliminates physician radiation exposure and leaded aprons
Authors:
P. Fattal
,
JA Goldstein
Organ-specific external dose coefficients and protective apron transmission factors for historical dose reconstruction for medical personnel.
Authors:
Steven Simon
How protective are the lead aprons we use against ionizing radiation?
Authors:
Orhan Oyar
,
Arzu Kışlalıoğlu
See all similar
Cited by
45
Static Contract Checking with Abstract Interpretation
Authors:
Manuel Fahndrich
,
Francesco Logozzo
Better Termination Proving through Cooperation
Authors:
Marc Brockschmidt
,
Byron Cook
,
Carsten Fuhs
Analyzing Runtime and Size Complexity of Integer Programs
Authors:
Marc Brockschmidt
,
Fabian Emmes
,
Stephan Falke
…
See all cited by