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
32
views
0
references
Top references
cited by
3
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,584
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Tools and Algorithms for the Construction and Analysis of Systems
other
Editor(s):
Cormac Flanagan
,
Barbara König
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
REPO4EU WP2 Tools
Author and book information
Book
ISBN (Print):
978-3-642-28755-8
ISBN (Electronic):
978-3-642-28756-5
Publication date (Print):
2012
DOI:
10.1007/978-3-642-28756-5
SO-VID:
3fbf3160-b992-47c5-9259-3baa3a5fc798
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,584
Breather-like, singular, periodic, interaction of singular and periodic solitons, and a-periodic solitons of third-order nonlinear Schrödinger equation with an efficient algorithm
Authors:
Jun Pan
,
Mati Ur Rahman
,
Rafiullah
Sentiment Analysis Based on Machine Learning Algorithms: A Comprehensive Study
Authors:
song jiang
,
Ela Kumar
Development and Validation of a Deep Learning Algorithm for Detection of Diabetic Retinopathy in Retinal Fundus Photographs.
Authors:
Varun Gulshan
,
Lily Peng
,
Marc Coram
…
See all similar
Cited by
3
Structural and semantic pattern matching analysis in Haskell
Authors:
Pavel Kalvoda
,
Tom Kerckhove
Improving HyLTL model checking of hybrid systems
Authors:
Davide Bresolin
Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage
Authors:
Matteo Cavaliere
,
Tommaso Mazza
,
Sean Sedwards
See all cited by