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
31
views
21
references
Top references
cited by
8
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,008
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
other
Author(s):
James Brotherston
,
Nikos Gorogiannis
Publication date
(Print):
2014
Publisher:
Springer International Publishing
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
ScienceOpen Research
Most cited references
21
Record
: found
Abstract
: not found
Book Chapter
: not found
Symbolic Execution with Separation Logic
Josh Berdine
,
Cristiano Calcagno
,
Peter O’Hearn
(2005)
0
comments
Cited
42
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Scalable Shape Analysis for Systems Code
Hongseok Yang
,
Oukseh Lee
,
Josh Berdine
…
(2008)
0
comments
Cited
32
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Shape Analysis for Composite Data Structures
Josh Berdine
,
Cristiano Calcagno
,
Byron Cook
…
(2007)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2014
Pages
: 68-84
DOI:
10.1007/978-3-319-10936-7_5
SO-VID:
3af0a2e3-9b6c-433f-a7da-10d970d7b75c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 253
Speeding Up Logico-Numerical Strategy Iteration
pp. 68
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
pp. 85
Expectation Invariants for Probabilistic Program Loops as Fixed Points
pp. 268
Cost-Aware Automatic Program Repair
Similar content
2,008
Activation of p53 and its target genes p21(WAF1/Cip1) and PAG608/Wig-1 in ischemic preconditioning.
Authors:
T Wieloch
,
G Tomasevic
,
D Israeli
…
Preconditioning of Carbon Monoxide Releasing Molecule-derived CO Attenuates LPS-induced Activation of HUVEC
Authors:
Bingwei Sun
,
Xiangqian Zou
,
Yueling Chen
…
Blended Care in Patients With Knee and Hip Osteoarthritis in Physical Therapy: Delphi Study on Needs and Preconditions
Authors:
Franziska Weber
,
Corelien Kloek
,
Angela Arntz
…
See all similar
Cited by
8
Shape Analysis via Second-Order Bi-Abduction
Authors:
Quang Loc Le
,
Cristian Gherghina
,
Shengchao Qin
…
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
Authors:
James Brotherston
,
Nikos Gorogiannis
Automated Mutual Explicit Induction Proof in Separation Logic
Authors:
Quang-Trung Ta
,
Ton Chanh Le
,
Siau-Cheng Khoo
…
See all cited by