✦ LIBER ✦

Integration of verification methods for program systems

✍ Scribed by V. V. Kuliamin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computational Methods for Verification o

✍ Koutsoukos, X.D.; Riley, D. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 533 KB

Methods and algorithms for verification

✍ G. V. Rybina; V. V. Smirnov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 254 KB

Formal methods for verification of websi

✍ M. R. Kogalovsky; E. N. Efimova; T. A. Rybina; V. B. Brakhin 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 585 KB

Assertion based Inductive Verification M

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 949 KB

Convex Programs for Temporal Verificatio

✍ Prajna, Stephen; Rantzer, Anders 📂 Article 📅 2007 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 335 KB

An Integrated Environment for Design Ver

✍ Hashempour, H.; Lombardi, F.; Necoechea, W.; Mehta, R.; Alton, T. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 485 KB