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