Tools

• AGREE: Assume Guarantee Reasoning Environment
• FRET: Formal Requirements Elicitation Tool
• FuzzM: Model Based Fuzzer
• JKind: An infinite-state model checker for safety properties
• R2U2: Realizable, Responsive, Unobtrusive Unit
• Resolute: An assurance case language for architecture models
• SpeAR: Specification and Analysis of Requirements