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
28
views
11
references
Top references
cited by
10
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,902
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
NASA Formal Methods
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
other
Author(s):
Jan Peleska
,
Elena Vorobev
,
Florian Lapschies
Publication date
(Print):
2011
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
Global Health Next Generation Network
Most cited references
11
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Abstract interpretation
Patrick Cousot
,
Radhia Cousot
(1977)
0
comments
Cited
364
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Introduction to Lattices and Order
B. Davey
,
H. Priestley
(2002)
0
comments
Cited
92
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The STATEMATE semantics of statecharts
Amnon Naamad
,
David Harel
(1996)
0
comments
Cited
51
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 298-312
DOI:
10.1007/978-3-642-20398-5_22
SO-VID:
aa893ef9-22f1-4b27-96ef-5afec2695ac1
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 328
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
pp. 131
Efficient Predicate Abstraction of Program Summaries
pp. 146
Synthesis for PCTL in Parametric Markov Decision Processes
pp. 177
The OpenTheory Standard Theory Library
pp. 192
Instantiation-Based Invariant Discovery
pp. 298
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
pp. 459
Infer: An Automatic Program Verifier for Memory Safety of C Programs
pp. 506
Multi-Core LTSmin: Marrying Modularity and Scalability
Similar content
1,902
Einsatzmöglichkeiten leitender Klebstoffe zur zuverlässigen Kontaktierung elektronischer Baulemente in der SMT
Authors:
R Luchs
Automating Separation Logic Using SMT
Authors:
Ruzica Piskac
,
Thomas Wies
,
Damien Zufferey
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
Authors:
Erick Petersen
,
Jorge Gonzalez Lopez
,
Natalia Kushik
…
See all similar
Cited by
10
Comprehensive formal verification of an OS microkernel
Authors:
Toby Murray
,
Rafal Kolanski
,
Gernot Heiser
…
Satisfiability Modulo Theories
Authors:
Clark Barrett
,
Cesare Tinelli
Foundations for Model-Based Engineering of Systems of Systems
Authors:
John Fitzgerald
,
Peter Larsen
,
Jim Woodcock
See all cited by