✦ LIBER ✦

Deductive software verification

✍ Scribed by Jean-Christophe Filliâtre

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deductive verification of cryptographic

✍ José Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Bárbara Vieira 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 501 KB

Deductive Verification of System Softwar

✍ Bernhard Beckert; Michał Moskal 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

Tool verification software

📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Verification of PULSAR+software

✍ An. A. Tutnov; Al. A. Tutnov; E. E. Alekseev 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 294 KB

Secure software verification tools

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 93 KB

Automating software feature verification

✍ Gerard J. Holzmann; Margaret H. Smith 📂 Article 📅 2002 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 198 KB 👁 1 views