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
55
views
18
references
Top references
cited by
13
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,070
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Automated Technology for Verification and Analysis
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data
other
Author(s):
Ahmed Bouajjani
,
Cezara Drăgoi
,
Constantin Enea
,
Mihaela Sighireanu
Publication date
(Print):
2012
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
On Research Data Publishing
Most cited references
18
Record
: found
Abstract
: not found
Book Chapter
: not found
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
Yeting Ge
,
Leonardo de Moura
(2009)
0
comments
Cited
42
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Efficient E-Matching for SMT Solvers
Leonardo de Moura
,
Nikolaj Bjørner
(2007)
0
comments
Cited
37
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Decidable Fragment of Separation Logic
Josh Berdine
,
Cristiano Calcagno
,
Peter O’Hearn
(2004)
0
comments
Cited
34
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 167-182
DOI:
10.1007/978-3-642-33386-6_14
SO-VID:
6bfb7359-1384-4cf6-ad44-2a58b85074ff
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 167
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data
pp. 187
Accelerating Interpolants
pp. 317
Pareto Curves for Probabilistic Model Checking
pp. 349
The COMICS Tool – Computing Minimal Counterexamples for DTMCs
Similar content
2,070
Prediction of activity coefficients at infinite dilution for organic solutes in ionic liquids by artificial neural network
Authors:
Faezeh Nami
,
Farzad Deyhimi
,
F. Nami
…
Correlation of infinite dilution activity coefficient of solute in ionic liquid using UNIFAC model
Authors:
Junfeng Wang
,
Wei Sun
,
Chunxi Li
…
A new method for the non-linear deflection analysis of an infinite beam resting on a non-linear elastic foundation
Authors:
T Jang
,
H Baek
,
J. Paik
…
See all similar
Cited by
13
Automating Separation Logic Using SMT
Authors:
Ruzica Piskac
,
Thomas Wies
,
Damien Zufferey
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Authors:
Timos Antonopoulos
,
Nikos Gorogiannis
,
Christoph Haase
…
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data
Authors:
Ahmed Bouajjani
,
Cezara Dragoi
,
Constantin Enea
…
See all cited by