✦ LIBER ✦

Secure software verification tools

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tool verification software

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

A comparison of tools for teaching forma

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

SeVe: automatic tool for verification of

✍ Anh Tuan Luu; Jun Sun; Yang Liu; Jin Song Dong; Xiaohong Li; Thanh Tho Quan 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 527 KB

Trillion release new audit and security

📂 Article 📅 1994 🏛 Elsevier Science ⚖ 514 KB

Experimental Evaluation of Verification

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

The Compositional Security Checker: a to

✍ Focardi, R.; Gorrieri, R. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 365 KB