Skip to search formSkip to main contentSkip to account menu

List of model checking tools

This article lists model checking tools classified by some interesting properties.Some articles about: history and introduction to Model Checking… 
Wikipedia (opens in a new tab)

Related topics

Related topics

43 relations
AdaAssertion (software development)B-MethodBLAST

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Análisis de ejecuciones parciales de Software Model Checkers
Las herramientas de analisis estatico de codigo han mostrado un progreso significativo en la ultima decada. Una de las… 
2018
2018
Proof Checker for Extended Linear Time Temporal Logic Proofs About Small Concurrent Programs
Program verification is a time-consuming task and prone to errors when done manually. Verification tools are therefore essential… 
2015
2015
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
One of the main challenges in software development is to ensure the safety of the software systems, especially in critical… 
2013
2013
Reusing Precisions for Efficient Regression Verification
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking… 
2012
2012
Analyzing Old Games with Modern Techniques: Probabilistic Model Checking Using SCOOP and PRISM
Model checkers can be used to solve mathematical problems, without the need of having prior knowledge on the technical solution… 
2008
2008
Model checking in-the-loop: Finding counterexamples by systematic simulation
Model checkers for program verification have enjoyed considerable success in recent years. In the control systems domain, however… 
2008
2008
A Technique for Using Model Checkers to Teach Formal Specifications
The difficulty of writing, reading, and understanding formal specifications is one of the main obstacles in adopting formal… 
2004
2004
The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise… 
2002
2002
Generating Model Checkers from Algebraic Specifications
AbstractThere is a great deal of research aimed toward the development of temporal logics and model checking algorithms which can… 
2000
2000
On Practical Verification of Processes
The integration of a formal process theory with a practically usable notation is not straightforward, but it is necessary for… 
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)