see also the index (by topic, by tool, by reference, by year)
CoLiS project
https://www.irif.fr/~treinen/colis/
The project CoLiS (Correctness of Linux Scripts) aims at applying techniques from deductive program verification and analysis of tree transformations to the problem of analyzing shell scripts, in particular those that are used in software installation.
- A Formal Proof of a Unix Path Resolution Algorithm
- A Formally Verified Interpreter for the Shell-like Language CoLiS
- A Formally Verified Symbolic Interpreter for a IMP language
see also the index (by topic, by tool, by reference, by year)