Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
50
views
36
references
Top references
cited by
13
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,825
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
LTSmin: High-Performance Language-Independent Model Checking
other
Author(s):
Gijs Kant
,
Alfons Laarman
,
Jeroen Meijer
,
Jaco van de Pol
,
Stefan Blom
,
Tom van Dijk
Publication date
(Print):
2015
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
Language change
Most cited references
36
Record
: found
Abstract
: not found
Article
: not found
Infinite games on finitely coloured graphs with applications to automata on infinite trees
Wieslaw Zielonka
(1998)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
Alessandro Cimatti
,
Edmund Clarke
,
Enrico Giunchiglia
…
(2002)
0
comments
Cited
86
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
CADP 2011: a toolbox for the construction and analysis of distributed processes
Hubert Garavel
,
Frédéric Lang
,
Radu Mateescu
…
(2013)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2015
Pages
: 692-707
DOI:
10.1007/978-3-662-46681-0_61
SO-VID:
a8916f3e-5f83-4e86-8172-ced757c6d4ef
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 21
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
pp. 37
Verified Reachability Analysis of Continuous Systems
pp. 52
HyComp: An SMT-Based Model Checker for Hybrid Systems
pp. 68
C2E2: A Verification Tool for Stateflow Models
pp. 85
Non-cumulative Resource Analysis
pp. 194
νZ - An Optimizing SMT Solver
pp. 200
dReach: δ-Reachability Analysis for Hybrid Systems
pp. 206
Uppaal Stratego
pp. 231
Symbolic Model-Checking Using ITS-Tools
pp. 304
On Parallel Scalable Uniform SAT Witness Generation
pp. 320
Approximate Counting in SMT and Value Estimation for Probabilistic Programs
pp. 401
Software Verification and Verifiable Witnesses
pp. 436
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings
pp. 447
SeaHorn: A Framework for Verifying C Programs (Competition Contribution)
pp. 451
SMACK+Corral: A Modular Verifier
pp. 461
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
pp. 533
Shield Synthesis:
pp. 566
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs
pp. 643
Saturation-Based Incremental LTL Model Checking with Inductive Proofs
pp. 677
Sylvan: Multi-Core Decision Diagrams
pp. 692
LTSmin: High-Performance Language-Independent Model Checking
Similar content
2,825
MAFLD Predicts the Risk of Cardiovascular Disease Better than NAFLD in Asymptomatic Subjects with Health Check-Ups.
Authors:
Hyoeun Kim
,
Chan Joo Lee
,
Sang Hoon Ahn
…
A quality check of the \(AKARI\) mid-infrared all-sky diffuse map toward the massive star-forming regions NGC 6334 and NGC 6357
Authors:
Hidetoshi Sano
,
Tomoya Amatsutsu
,
Toru Kondo
…
Compliance of checking HbA1c in a tertiary care hospital of Pakistan
Authors:
Abdul Hallis Bin Abdul Aziz
,
Syed Ali
See all similar
Cited by
13
JANI: Quantitative Model and Tool Interaction
Authors:
Carlos E. Budde
,
Christian Dehnert
,
Ernst Hahn
…
Sylvan: Multi-Core Decision Diagrams
Authors:
Tom van Dijk
,
Jaco van de Pol
The mCRL2 Toolset for Analysing Concurrent Systems
Authors:
Olav Bunte
,
Jan Friso Groote
,
Jeroen J. A. Keiren
…
See all cited by