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
22
views
8
references
Top references
cited by
7
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,790
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Hierarchical Set Decision Diagrams and Regular Models
other
Author(s):
Yann Thierry-Mieg
,
Denis Poitrenaud
,
Alexandre Hamez
,
Fabrice Kordon
Publication date
(Print):
2009
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
Exponential Random Graph Models
Most cited references
8
Record
: found
Abstract
: not found
Book Chapter
: not found
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
G Behrmann
,
K G Larsen
,
J. Pearson
…
(1999)
0
comments
Cited
21
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Saturation Unbound
Gianfranco Ciardo
,
Robert Marmorstein
,
Radu Siminiceanu
(2003)
0
comments
Cited
11
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Formal verification of timed systems: a survey and perspective
Farn Wang
(2004)
0
comments
Cited
11
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 1-15
DOI:
10.1007/978-3-642-00768-2_1
SO-VID:
20eeb6b4-7702-4253-a83b-e0281d8fd026
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
2,790
A Regularized Inexact Penalty Decomposition Algorithm for Multidisciplinary Design Optimization Problems With Complementarity Constraints
Authors:
Shen Lu
,
Harrison M. Kim
On a regularity criterion for the Navier–Stokes equations involving gradient of one velocity component
Authors:
Milan Pokorny
,
Yong Jin Zhou
Spectral upper bounds on the size of k-regular induced subgraphs
Authors:
Domingos Cardoso
,
Sofia Pinheiro
See all similar
Cited by
7
Integer Parameter Synthesis for Real-Time Systems
Authors:
Didier Lime
,
Aleksandra Jovanovic
,
Olivier Roux
Report on the Model Checking Contest at Petri Nets 2011
Authors:
Fabrice Kordon
,
Alban Linard
,
Didier Buchs
…
Symbolic Model-Checking Using ITS-Tools
Authors:
Yann Thierry-Mieg
See all cited by