search

habtom / factum

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

Rudimentary support for Statemachines #72

Closed dmarmsoler closed 5 years ago

dmarmsoler commented 5 years ago

Behavior { States: x,y,z Initial: x Transitions { x -> y y -> z z -> x } }