FRET: Formal Requirements Elicitation Tool

https://github.com/nasa-sw-vnv/fret

FRET is a framework designed for the elicitation, specification, formalization, and analysis of...

Tokens:74,479
Snippets:1,398
Trust Score:7.4
Update:1 week ago
Tokens:
Raw