Package Details: spin-git 6.5.0.r6.gcbb780d-1

Git Clone URL: https://aur.archlinux.org/spin-git.git (read-only)
Package Base: spin-git
Description: Explicit state logic model checking tool
Upstream URL: https://spinroot.com/
Licenses: custom:BSD3
Conflicts: spin
Provides: spin
Submitter: kyechou
Maintainer: kyechou
Last Packager: kyechou
Votes: 0
Popularity: 0.000000
First Submitted: 2019-08-07 20:53
Last Updated: 2019-08-07 20:53

Dependencies (5)

  • glibc (glibc-git)
  • ispin (optional) – GUI for Spin
  • modex (optional) – extract verification models from implementation C code
  • swarm (optional) – improved performance on large verification problems
  • tcl (tcl85, tcl-nothreading) (optional) – ispin graphical interface

Required by (2)

Sources (1)