A. W. Appel and D. Mcallester, An indexed model of recursive types for foundational proof-carrying code, ACM Transactions on Programming Languages and Systems, vol.23, issue.5, pp.657-683, 2001.
DOI : 10.1145/504709.504712

C. Barrett and C. Tinelli, CVC3, 19th International Conference on Computer Aided Verification, pp.298-302, 2007.
DOI : 10.1007/978-3-540-73368-3_34

F. Bobot, S. Conchon, E. Contejean, M. Iguernelala, S. Lescuyer et al., The Alt-Ergo automated theorem prover, 2008.

F. Bobot, J. C. Filliâtre, C. Marché, and A. Paskevich, Why3: Shepherd your herd of provers, Boogie 2011: First International Workshop on Intermediate Verification Languages, pp.53-64, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00790310

R. Braakman, J. Rodin, J. Gilbey, and M. Hobley, checkbashisms, https:// sourceforge

R. Chen, M. Clochard, and C. Marché, A formal proof of a unix path resolution algorithm, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01406848

M. Clochard, J. C. Filliâtre, C. Marché, and A. Paskevich, Formalizing Semantics with an Automatic Program Verifier, 6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE). Lecture Notes in Computer Science, pp.37-51, 2014.
DOI : 10.1007/978-3-319-12154-3_3
URL : https://hal.archives-ouvertes.fr/hal-01067197

J. C. Filliâtre, L. Gondelman, and A. Paskevich, The Spirit of Ghost Code, CAV 2014, Computer Aided Verification -26th International Conference, 2014.

M. Greenberg, Understanding the POSIX shell as a programming language In: Off the Beaten Track 2017, 2017.

V. Holen, Shellcheck, https://github.com/koalaman/shellcheck 12. IEEE and The Open Group: POSIX.1-2008/Cor 1-2013

N. Jeannerod, Full Why3 code for the CoLiS language and its proofs

N. Jeannerod, Y. Régis-gianas, and R. Treinen, Having Fun With 31.521 Shell Scripts, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01513750

L. De-moura and N. Bjørner, Z3: An Efficient SMT Solver, In: TACAS. Lecture Notes in Computer Science, vol.4963, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

S. Schulz, System Description: E??0.81, Second International Joint Conference on Automated Reasoning, pp.223-228, 2004.
DOI : 10.1007/978-3-540-25984-8_15

C. Weidenbach, D. Dimova, A. Fietzke, R. Kumar, M. Suda et al., SPASS Version 3.5, 22nd International Conference on Automated Deduction, pp.140-145, 2009.
DOI : 10.1007/978-3-540-73595-3_38