mbeddr/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
JetBrains MPSApache-2.0
Stargazers
- abougouffaAstek & Sagemcom
- al-darmonski
- alexahlbGerman Aerospace Center (DLR)
- alexanderpann@itemis
- danielratiu
- darkjohneDark Street Technology
- dddejanNew York, NY
- electrojit
- EtherTyperPrivate Proxy
- Firstdrop
- FredericJacobs
- gianricardo
- machadovilacaRed Hat
- mahmood1994haHeinz-Nixdorf Insitute
- mehrdad-moradiUniversity of Antwerp
- mfgpcmhttps://www.bosch.com/research
- oscarcostaThe Interwebs
- stanislawPTS
- swrede
- ttjVanderbilt University
- ulf-westermann
- whatYnextBerlin
- zoophag