✦ LIBER ✦

Tool verification software

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Secure software verification tools

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

A comparison of tools for teaching forma

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

Deductive software verification

✍ Jean-Christophe Filliâtre 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 183 KB

Experimental Evaluation of Verification

✍ Guillaume Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus H 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 376 KB

Verification of PULSAR+software

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

Automating software feature verification

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