Tools

  • AGREE: Assume Guarantee Reasoning Environment
  • JKind: An infinite-state model checker for safety properties
  • Resolute: An assurance case language for architecture models
  • SpeAR: Specification and Analysis of Requirements