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
19
views
16
references
Top references
cited by
9
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,356
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Zeno: An Automated Prover for Properties of Recursive Data Structures
other
Author(s):
William Sonnex
,
Sophia Drossopoulou
,
Susan Eisenbach
Publication date
(Print):
2012
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
Emerald: Sustainable Structures & Infrastructures
Most cited references
16
Record
: found
Abstract
: not found
Book Chapter
: not found
Z3: An Efficient SMT Solver
Leonardo de Moura
,
Nikolaj Bjørner
(2008)
0
comments
Cited
131
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
Mike Barnett
,
Bor-Yuh Chang
,
Robert DeLine
…
(2006)
0
comments
Cited
73
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
The Spec# Programming System: An Overview
Mike Barnett
,
K. Rustan M. Leino
,
Wolfram Schulte
(2005)
0
comments
Cited
58
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 407-421
DOI:
10.1007/978-3-642-28756-5_28
SO-VID:
6149266b-a55f-4779-92f2-f20e7a757ca6
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 422
A Proof Assistant for Alloy Specifications
pp. 472
Symbolic Automata: The Toolkit
pp. 95
LTL to Büchi Automata Translation: Fast and More Deterministic
pp. 157
From Under-Approximations to Over-Approximations and Back
pp. 204
Counter-Example Guided Fence Insertion under TSO
pp. 331
Coupling and Importance Sampling for Statistical Model Checking
pp. 362
Parameterized Synthesis
pp. 407
Zeno: An Automated Prover for Properties of Recursive Data Structures
pp. 498
A Platform for High Performance Statistical Model Checking – PLASMA
pp. 504
Competition on Software Verification
pp. 549
HSF(C): A Software Verifier Based on Horn Clauses
Similar content
2,356
Recursive Stratified Sampling for Multidimensional Monte Carlo Integration
Authors:
Glennys R. Farrar
,
William H Press
High‐Order Recursive Filtering of Non‐Uniformly Sampled Signals for Image and Video Processing
Authors:
Eduardo S. L. Gastal
,
Manuel M. Oliveira
Zeno physics in ultrastrong-coupling circuit QED
Authors:
I. Lizuain
,
J Casanova
,
J. J. García-Ripoll
…
See all similar
Cited by
9
Automating Inductive Proofs Using Theory Exploration
Authors:
Koen Claessen
,
Moa Johansson
,
Dan Rosen
…
Automating Induction for Solving Horn Clauses
Authors:
Hiroshi Unno
,
Sho Torii
,
Hiroki Sakamoto
TIP: Tons of Inductive Problems
Authors:
Koen Claessen
,
Moa Johansson
,
Dan Rosen
…
See all cited by