Un site conseillé

Celui d'un collègue (Alain Finkel, ENSET, Cachan) qui non seulement travaille en génie logiciel mais aussi en pédagogie. Ses cours sont en ligne.

ICI

Ca existe, on l'a rencontré.

Co-auteur d'un excellent livre qui fait partie de ceux que je conserverai dans ma bibliothèque personnelle en partant en retraite.

Il est écrit en français (publié par Vuibert). Mais si vous préférez le lire en anglais, il est aussi disponible en anglais (et donc est encore meilleur, n'est-ce pas ?). Je ne sais si les éditeurs publient encore de tels livres en français.

Systems and Software Verification
Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.

Model-Checking, on vous en a parlé au sujet du Prix Turing..., Turing celui qui a croqué la pomme.