Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

SPIN model checker · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Русский العربية ไทย 中文日本語

EntityQ959513· pop 7· linked from 19 articles

SPIN model checker

Also known as Simple PROMELA Interpreter

tool for verifying the correctness of software models

Wikidata facts

Official website: spinroot.com

Sources (4)

wikidata.org
spinroot.com
github.com
spinroot.com

via Wikidata · CC0

Available in 7 languages

Français
Deutsch
日本語
Русский
Lithuanian
ไทย

via Wikidata sitelinks · CC0

Connections

English language

Categories

Sources

wikipedia.externallinksexternallink

operating system

Entity

Microsoft Windows

International Standard Book Number

data compression

software license

software release life cycle

Association for Computing Machinery

automata theory

source code repository

software category

Sign in to save

What links here19 pages

Guarded Command Language

ACM Software System Award

list of computer scientists

Gerard J. Holzmann

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Uppaal Model Checker

Entitydist 0.34

machine code monitor

Entitydist 0.50

Entitydist 0.52

Entitydist 0.59

functional testing

Entitydist 0.59

Entitydist 0.60

Tick–tock model

Entitydist 0.60

Component Object Model

Entitydist 0.61

Entitydist 0.61

Entitydist 0.63

cyclic redundancy check

Entitydist 0.63

Advanced Boolean Expression Language

Entitydist 0.63