✦ LIBER ✦

Conditional Lambda-Theories and the Verification of Static Properties of Programs

✍ Scribed by M. Wand; Z.Y. Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Static verification of dynamically detec

✍ Jeremy W. Nimmer; Michael D. Ernst 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Statically and kinematically exact nonli

✍ W.Marek Smoleński 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 996 KB

Theory of static and dynamic properties

✍ Per-Anker Lindgård 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 159 KB

A PROPERTY OF 2-SORTED PEANO MODELS AND

✍ L. Csirmaz; J. B. Paris 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 563 KB

BIS/BAS individual differences and the v

✍ Hipólito Marrero; Elena Gámez; Jose M. Díaz 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 393 KB

Verification of Safety Properties Using

✍ Javier Esparza; Stephan Melzer 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 191 KB