Wiki Agenda Contact Version française

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.


see also the index (by topic, by tool, by reference, by year)