Verktyg
ARES Risk management
DSTO: DOVE (Design Oriented Verification and Evaluation)
H ProgSäk Hjälpmedel och Mallar
Impact
Isograph
PRISM
PSM (Practical Software and System Measurement)
Relex
Reliass
SPARK
SpecTRM
TapRooT
ZealCore: TimeMachine & The BlackBox
Forskningsverktyg/prototyper
UML-HAZOP