✦ LIBER ✦

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

✍ Scribed by V. A. Nepomniaschy; I. S. Anureev; A. V. Promskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards Verification of C Programs. C-Li

✍ V. A. Nepomniaschy; I. S. Anureev; I. N. Mikhailov; A. V. Promskii 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 93 KB

Towards verification of C# programs: A t

✍ V. A. Nepomniaschy; I. S. Anureev; I. V. Dubranovskii; A. V. Promsky 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 217 KB

The programming language C I. Introducti

✍ Gregor Reich 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 266 KB

An axiomatic definition of the programmi

✍ C. A. R. Hoare; N. Wirth 📂 Article 📅 1973 🏛 Springer-Verlag 🌐 English ⚖ 745 KB

Correction of the Software Science Lengt

✍ Michael G. Gonzales; Seshadri Paravastu 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 610 KB

The implementation of cyclic redundancy

✍ D.R. O'Connell 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 178 KB