Tools

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