Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques. (Formal verification of digital systems using theorem proving: application for cryptographic designs)

Diana Toma. Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques. (Formal verification of digital systems using theorem proving: application for cryptographic designs). PhD thesis, Joseph Fourier University, Grenoble, France, 2006. [doi]