GitHub repository: mbeddr/mbeddr.formal
Primary language: JetBrains MPS
Created: 2017-10-25T14:56:12Z
Description: FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.