✦ LIBER ✦

C program verification: Verification condition explanation and standard library

✍ Scribed by A. V. Promsky

Book ID: 120893919
Publisher: Allerton Press Inc
Year: 2012
Tongue: English
Weight: 177 KB
Volume: 46
Category: Article
ISSN: 0146-4116
DOI: 10.3103/S0146411612070127

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient Verification of Sequential and

Efficient Verification of Sequential and Concurrent C Programs

✍ S. Chaki; E. Clarke; A. Groce; J. Ouaknine; O. Strichman; K. Yorav 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 627 KB

Conditional Lambda-Theories and the Veri

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

✍ M. Wand; Z.Y. Wang 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 895 KB

Attribute annotations and their use in C

Attribute annotations and their use in C program deductive verification

✍ M. M. Atuchin, I. S. Anureev 📂 Article 📅 2012 🏛 Allerton Press Inc 🌐 English ⚖ 201 KB

Towards Verification of C Programs. C-Li

Towards Verification of C Programs. C-Light Language and Its Formal Semantics

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

Manufactured Solution for Computational

Manufactured Solution for Computational Fluid Dynamics Boundary Condition Verification

✍ Bond, Ryan B.; Ober, Curtis C.; Knupp, Patrick M.; Bova, Steven W. 📂 Article 📅 2007 🏛 American Institute of Aeronautics and Astronautics 🌐 English ⚖ 600 KB

MASA: a library for verification using m

MASA: a library for verification using manufactured and analytical solutions

✍ Nicholas Malaya, Kemelli C. Estacio-Hiroms, Roy H. Stogner… 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 501 KB