search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Accurate semantics for operational stuttering #60

Closed hai-nguyen-van closed 5 years ago

hai-nguyen-van commented 5 years ago

Empty symbolic instant