Versions Packages Information History Related Badges Report

Information for spin-verification

Versions

  • 6.5.2.r5.gd91a5b8
  • 6.5.2 (6)
  • 6.5.0
  • 6.4.9 (2)
  • 6.4.7 (2)
  • 6.4.6 (2)
  • 6.4.5 (2)
  • 6.4.3
  • 6.2.6
  • 5.1.7

Package names

  • SPIN model checker
  • Spin
  • devel/spin (2)
  • development/spin
  • lang/spin
  • sci-mathematics/spin
  • spin (8)
  • spin-doc
  • spin-git

Repositories

Categories

  • Language
  • devel (3)
  • development
  • lang
  • misc
  • sci-mathematics
  • universe/misc

Licenses

  • 3-clause BSD License
  • BSD (2)
  • BSD-3-Clause
  • SPIN
  • SPIN Software Public License (http://www.spinroot.com/spin/spin_license.html)
  • Unspecified free software license
  • custom:BSD3

Summaries

  • Explicit state logic model checking tool
  • Formal Concurrent System Verification
  • Formal correctness prover
  • Formal verification tool for distributed software systems
  • On-the-fly verification system for asynchronous concurrent systems
  • Software Verification and Modelling Tool
  • The Spin model checker
  • The efficient verification tool of multi-threaded software
  • Tool for formal verification of distributed software systems (2)
  • Tool for formal verification of distributed software systems (documentation)
  • Tool for the formal verification of distributed software systems
  • tool for formal verification of parallel software
  • tool for verifying the correctness of software models

Maintainers

Homepages

Downloads