spin 6.5.2-4

Architecture: x86_64
Repository: Community
Description: Tool for the formal verification of distributed software systems
Upstream URL:
License(s): custom:BSD3
Maintainers: Frederik Schwan
Package Size: 399.7 KB
Installed Size: 1.4 MB
Last Packager: Frederik Schwan
Build Date: 2020-06-30 03:58 UTC
Signed By: Frederik Schwan
Signature Date: 2020-06-30 03:58 UTC
Last Updated: 2020-06-30 04:03 UTC

Dependencies (4)

  • glibc
  • ispin (optional) - GUI for Spin
  • swarm (virtual) (optional) - improved performance on large verification problems
  • tcl (optional) - ispin graphical interface

Required By (1)