Verification of Shell Scripts Performing File Hierarchy Transformations

I am:
You may want:
Verification of Shell Scripts Performing File Hierarchy Transformations
Verification of Shell Scripts Performing File Hierarchy Transformations
Analysing installation scenarios of Debian Packages
Analysing installation scenarios of Debian Packages
Symbolic Execution of Debian Packages
Symbolic Execution of Maintainer Scripts
Mining Debian Maintainer Scripts
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
Feature Constraints to Modelise Unix Filesystems
Unix Filesystem and Graph Constraints
Formalising an Intermediate Language for POSIX Shell
A Formally Verified Interpreter for a Shell-like Programming Language
A Formally Verified Interpreter for a Shell-like Programming Language
Le coquillage dans le CoLiS-mateur
Verification of Shell Scripts Performing File Hierarchy Transformations
Analysing installation scenarios of Debian packages
Morbig: A Static parser for POSIX shell
Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters
Specification of UNIX Utilities
Morbig: A Static Parser for POSIX Shell
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
A Formally Verified Interpreter for a Shell-like Programming Language
Having Fun With 31,521 Shell Scripts
Le coquillage dans le CoLiS-mateur
Internet et outils (IO2)
Principe de fonctionnement des machines binaires (PF1)
Concepts informatiques (CI2)
Programmation fonctionnelle (PF5)
Internet et outils (IO2)
Concepts informatiques (CI2)
Projet informatique (PI4)
Introduction à la programmation (IP1)