search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 8 forks source link

detect use of temporal operators without temporal mode #197

Closed tnelson closed 1 year ago