mbeddr/mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

Language: JetBrains MPS - Size: 178 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 26 - Forks: 15