An executable specification language based on temporal logic of actions (TLA)

• Posted 1 hour ago by mooreds
• 3 points