VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Ask for industrial example #30

Closed wadoon closed 7 years ago

wadoon commented 7 years ago

3-level evelator for industrial day.

mattulbrich commented 7 years ago

Plan: Have a prototypical example implementation till 2017-07-06.