CoLiS

CoLiS is a shell-like language but with better designed syntax and with formally defined semantics. Implemented in Why3 First presented at VSTTE'17: https://hal.archives-ouvertes.fr/hal-01534747

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.