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
48
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
3,121
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Tools and Algorithms for the Construction and Analysis of Systems
other
Editor(s):
Stefan Kowalewski
,
Anna Philippou
Publication date
(Print):
2009
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-00767-5
ISBN (Electronic):
978-3-642-00768-2
Publication date (Print):
2009
DOI:
10.1007/978-3-642-00768-2
SO-VID:
df492e16-ee3f-4bbe-b00c-e7c85b23efb5
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Hierarchical Set Decision Diagrams and Regular Models
pp. 16
Büchi Complementation and Size-Change Termination
pp. 31
Learning Minimal Separating DFA’s for Compositional Verification
pp. 46
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
pp. 50
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
pp. 54
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
pp. 58
Alpaga: A Tool for Solving Parity Games with Imperfect Information
pp. 62
Compositional Predicate Abstraction from Game Semantics
pp. 77
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
pp. 92
Computing Weakest Strategies for Safety Games of Imperfect Information
pp. 107
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
pp. 124
Semantic Reduction of Thread Interleavings in Concurrent Programs
pp. 139
Inferring Synchronization under Limited Observability
pp. 155
The Complexity of Predicting Atomicity Violations
pp. 170
MoonWalker: Verification of .NET Programs
pp. 178
The Yogi Project: Software Property Checking via Static Analysis and Testing
pp. 182
TaPAS: The Talence Presburger Arithmetic Suite
pp. 186
Transition-Based Directed Model Checking
pp. 201
Memoised Garbage Collection for Software Model Checking
pp. 215
Hierarchical Adaptive State Space Caching Based on Level Sampling
pp. 230
Static Analysis Techniques for Parameterised Boolean Equation Systems
pp. 262
From Tests to Proofs
pp. 277
Test Input Generation for Programs with Pointers
pp. 292
Specification Mining with Few False Positives
pp. 307
Path Feasibility Analysis for String-Manipulating Programs
pp. 322
Symbolic String Verification: Combining String Analysis and Size Analysis
pp. 337
Iterating Octagons
pp. 352
Verifying Reference Counting Implementations
pp. 368
Falsification of LTL Safety Properties in Hybrid Systems
pp. 383
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
pp. 398
All-Termination(T)
pp. 413
Ground Interpolation for the Theory of Equality
pp. 428
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
pp. 443
Bridging the Gap Between Model-Based Development and Model Checking
Similar content
3,121
Evaluating the use of coronary artery calcium scoring as a tool for coronary artery disease (CAD) risk stratification and its association with coronary stenosis and CAD risk factors: a single-centre, retrospective, cross-sectional study at a tertiary centre in Pakistan
Authors:
Afrose Liaquat
,
Ameerdad Khan
,
Saeed Ullah Shah
…
An expectation-maximization algorithm enables accurate ecological modeling using longitudinal microbiome sequencing data
Authors:
Chenhao Li
,
Kern Chng
,
Junmei Kwah
…
PCRPi: Presaging Critical Residues in Protein interfaces, a new computational tool to chart hot spots in protein interfaces
Authors:
Salam Assi
,
Tomoyuki Tanaka
,
Terence Rabbitts
…
See all similar
Cited by
3
Formalizing Time4sys using parametric timed automata
Authors:
Étienne André
A Comparison of BDD-Based Parity Game Solvers
Authors:
Lisette Sanchez
,
Wieger Wesselink
,
Tim A. C. Willemse
Concolic Testing Heap-Manipulating Programs
Authors:
Long H. Pham
,
Quang Loc Le
,
Quoc-Sang Phan
…
See all cited by