search

habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Guards for Statemachines #74

Closed awoc closed 5 years ago

awoc commented 5 years ago

Behavior { Var i:INT, j:INT States x,y,z Initial x Transitions { x []->[] y y -> z z -> x } }