GitHub repository: modelica-3rdparty/Modelica_Requirements
Primary language: Modelica
Description: Defining requirements formally and checking them when simulating