PV0 SpeAR (Specification and Analysis of Requirements)

Application domain/field

Type of tool

Requirements specification & analysis tool

Internals

"SpeAR performs type checking, dimensional analysis of unit computations and other well-formedness checks on the requirements in real-time."
Requirements

Links

Repository: https://github.com/lgwagner/SpeAR

Related papers

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements (NFM '17)

Last publication date

9 April 2017

ProVerB specific

Markdown description: view/edit



ProVerB is a part of SLEBoK. Last updated: February 2023.