RAT: A Tool for the Formal Analysis of Requirements
No abstract available.
Related papers
- RAT-CAT-SAT: Model Checking Memory Consistency Models OOPSLA 2026
- Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET CAV 2022
- Messir: a text-first DSL-based approach for UML requirements engineering (tool demo) SLE 2018
- Parsing expression grammars made practical SLE 2015
- Debugging temporal specifications with concept analysis PLDI 2003
- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems TACAS 2022
- A compositional proof framework for FRETish requirements CPP 2022
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts CAV 2018