ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
21
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,492
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,492
Regularized Machine Learning in the Genetic Prediction of Complex Traits
Authors:
Sebastian Okser
,
Tapio Pahikkala
,
Antti Airola
…
Machine-learned regularization and polygonization of building segmentation masks
Authors:
Promptness in ω-Regular Automata
Authors:
Shaull Almagor
,
Yoram Hirshfeld
,
Orna Kupferman
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