eb8a0c7cb3
Spin is a software verification tool for analyzing the consistency of asynchronous systems. Examples of asynchronous systems include multi-threaded programs, distributed systems, and communications protocols. Spin takes a system model specified in Promela (the PROcess MEta LAnguage). It also takes a specifciation of the requirements for logical correctness, and allows both interactive and exhaustive simulations of the system for verifying these properties. Submission by Ori Bernstein <ori@eigenstate.org> OK bcallah@
3 lines
102 B
Plaintext
3 lines
102 B
Plaintext
SHA256 (spin647.tar.gz) = G1dDY1y3etKrlPtb/61Lj/oycP/GEKI0RNpK8JTqop4=
|
|
SIZE (spin647.tar.gz) = 515131
|