Document STL* - Githubissues

sybila / parasim

Tool for paralell simulations and verification

GNU General Public License v3.0

3 stars 1 forks source link

Document STL* #136

Closed tomvej closed 11 years ago

tomvej commented 11 years ago

Two additions to wiki:

freeze operators and different predicates on formula construction,
links to articles.