Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00353036n
Noun Concept
Categories: Model checkers, All articles lacking reliable references, All articles needing additional references
EN
SPIN model checker  SPIN  Simple PROMELA Interpreter
EN
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. Wikipedia
Definitions
Relations
Sources
EN
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. Wikipedia
Gerard Holzmann's tool for formal verification of distributed software systems Wikipedia Disambiguation
Tool for verifying the correctness of software models Wikidata
IS A
open-source software
DEVELOPER
Gerard J. Holzmann
IMPLEMENTATION OF
Promela
INFLUENCED BY
C
communicating sequential processes
OPERATING SYSTEM
Linux
Windows
macOS
PROGRAMMING LANGUAGE
C
USE
model checking
Wikipedia
EN
SPIN model checker
Wikidata
EN
SPIN model checker
Wikipedia Redirections
EN
SPIN (model checker), Spin Model Checker
Wikidata Alias
EN
Simple PROMELA Interpreter

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License