search

heron-solver / heron

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

Complete cases for contexts in model-checker #76

Open hai-nguyen-van opened 4 years ago

hai-nguyen-van commented 4 years ago

Currently only considers Ticks and NotTicks. All TESL expressions using other primitives should be handled carefully.