Skip to search formSkip to main contentSkip to account menu

LTSmin

LTSmin (short for “Minimization and Instantiation of Labelled Transition Systems”) is an award-winning tool-set formanipulation and model checking of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Distributed computingMCRL2Model checkingMulti-core processor

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Towards One Model Interpreter for Both Design and Deployment
Executable modeling of complex embedded systems is essential for bug discovery and safety validation at early design stages. A… 
2015
2015
Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking
We demonstrate the applicability of bandwidth and wavefront reduction algorithms to static variable ordering. In symbolic model… 
2014
2014
Improving Reachability Analysis in Ltsmin - Guards, Read, Write and Copy Dependencies for mcrl2, Promela and Dve
To improve symbolic reachability analysis in the model checking toolset LTSmin, we present two improve- ments to existing… 
2014
2014
Formal Verification of Behaviour Networks Including Hardware Failures
The paper deals with the problem of verifying a behaviour-based control system. Although failures in sensor hardware and software… 
2012
2012
The parallelization of binary decision diagram operations for model checking
2012
2012
Saturation for LTSmin
State space generation or reachability analysis plays an important role in model checking, but a disadvantage of current… 
Highly Cited
2011
Highly Cited
2011
Multi-Core LTSmin: Marrying Modularity and Scalability
The LTSMIN toolset provides multiple generation and on-the-fly analysis algorithms for large graphs (state spaces), typically… 
2011
2011
Informed Swarm Verification of Infinite-State Systems: Invited Presentation at the 13th International Workshop on Verification of Infinite-State Systems
2010
2010
An analysis of the control hierarchy modeling of the CMS detector control system
The supervisory level of the Detector Control System (DCS) of the CMS experiment is implemented using Finite State Machines (FSM… 
2008
2008
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)