{"schema_version":1,"metadata":{"branch":"release","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:02.361425+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/7.9/packages/amd64/sqlports-7.54.tgz","source_sha256":"2de00144847bf9da3a365be982f101dbb55d591ed7a915ea94984a16ab0e0404","package_count":12059,"source_kind":"sqlports"},"package":{"name":"spin-6.4.7p0","path":"lang/spin","url":"/packages/release/lang/spin/","comment":"tool for formal verification of parallel software","homepage":"https://spinroot.com/","maintainer":"Ori Bernstein <ori@eigenstate.org>","description":"Spin is a software verification tool for analyzing the consistency of\nasynchronous systems. Examples of asynchronous systems include multi-threaded\nprograms, distributed systems, and communications protocols. Spin takes a\nsystem model specified in Promela (the PROcess MEta LAnguage). It also takes\na specifciation of the requirements for logical correctness, and allows both\ninteractive and exhaustive simulations of the system for verifying these\nproperties.\n","package_architecture":"amd64","stem":"spin","readme":null,"dependencies":[],"reverse_dependencies":{"count":0,"url":null},"categories":["lang"],"flavors":[],"only_for_architectures":[],"not_for_architectures":[]}}