✦ LIBER ✦

C program verification in SPECTRUM multilanguage system

✍ Scribed by V. A. Nepomniaschy; I. S. Anureev; M. M. Atuchin; I. V. Maryasov; A. A. Petrov; A. V. Promsky

Book ID: 115064567
Publisher: Allerton Press Inc
Year: 2011
Tongue: English
Weight: 156 KB
Volume: 45
Category: Article
ISSN: 0146-4116
DOI: 10.3103/s014641161107011x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of linear algebra programs

Verification of linear algebra programs in the spektr system

✍ V. A. Nepomnyashchii; A. A. Sulimov 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 659 KB

8088 development system programmed in C

✍ Ed Ball; Nigel Linge 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 439 KB

Simulation and Verification of Two-Dimen

Simulation and Verification of Two-Dimensional Ohmic Heating in Static System

✍ W.-R. Fu; C.-C. Hsieh 📂 Article 📅 1999 🏛 Institute of Food Technologists 🌐 English ⚖ 79 KB

Modeling the austenite-ferrite isotherma

Modeling the austenite-ferrite isothermal transformation in an Fe-C binary system and experimental verification

✍ Mingming Tong; Dianzhong Li; YiYi Li; Jun Ni 📂 Article 📅 2002 🏛 The Minerals, Metals & Materials Society 🌐 English ⚖ 909 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Multi-prover Verification of C Programs

✍ Davies, Jim; Schulte, Wolfram; Barnett, Mike 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 230 KB

Formal Engineering Methods Are Changing The Way That Software Systems Are - Veloped.withlanguageandtoolsupport,theyarebeingusedforautomaticcode Generation, And For The Automatic Abstraction And Checking Of Implementations. In The Future, They Will Be Used At Every Stage Of Development: Requirements,

The 3A band system in the13C16O molecule

The 3A band system in the13C16O molecule spectrum

✍ T. Rytel; M. Rytel 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 362 KB