SPIN model checker
id:
spin-model-checker-202-12181565
title:
SPIN model checker
text:
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field.
brand slug:
wiki
category slug:
encyclopedia
description:
Tool for verifying the correctness of software models
original url:
https://en.wikipedia.org/wiki/SPIN_model_checker
date created:
date modified:
2020-09-23T12:20:15Z
main entity:
{"identifier":"Q959513","url":"https://www.wikidata.org/entity/Q959513"}
image:
fields total:
13
integrity:
14