Resources

The UAH Software Safety and Security Laboratory has access to industry standard modeling, simulation, and verification tools. 

• Liverpool Data Research Associates

• Coverity

• Wind River Simics

• MathWorks MATLAB/Simulink

  • Event-B  formal modeling and analysis

  • UML-B   formal modeling with UML