PV0 ⊧ SpeAR (Specification and Analysis of Requirements)

Application domain/field

• Requirements engineering
• Specifications
• Requirements analysis
• Past Linear Temporal Logic (Past LTL)

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."