1. Lecture Notes in Computer Science;S Blazy,2019
2. Bobot, F., Filliâtre, J.-C., Marché, C., Melquiond, G., Paskevich, A.: The Why3 Platform Release 1.5.1 (2022). https://why3.lri.fr/manual.pdf
3. Conchon, S., Goel, A., Krstić, S., Mebsout, A., Zaïdi, F.: Cubicle: a parallel SMT-based model checker for parameterized systems. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 718–724. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31424-7_55
4. Conchon, S.: Model checking, Part 1: Model checking modulo theories (MCMT) (2015). cours de l’EJCP (École des Jeunes Chercheurs en Programmation). https://www.lri.fr/~conchon/EJCP/ejcp-mcmt.pdf
5. Couchot, J.-F.: Vérification d’invariants de systèmes paramétrés par superposition. Ph.D. thesis, Laboratoire d’Informatique de l’Université de Franche-Comté, Besançon, France (2006)