contract-based-design

There are 2 repositories under contract-based-design topic.

mbeddr/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Language:JetBrains MPS23 9 3414
jgraeb/AutoValetParking
Language:Python17 7 06