✦ LIBER ✦

Editor's corner: Applying specification, verification, and validation techniques

✍ Scribed by James M Bieman; Pradip K Srimani

Book ID: 103572759
Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 193 KB
Volume: 21
Category: Article
ISSN: 0164-1212
DOI: 10.1016/0164-1212(93)90022-p

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Techniques for verification and validati

Techniques for verification and validation of safety-related software

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 737 KB

Formal techniques for the specification,

Formal techniques for the specification, verification and construction of communication protocols

✍ Tat Choi 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 643 KB

A Visual Tradeoff Space for Formal Verif

A Visual Tradeoff Space for Formal Verification and Validation Techniques

✍ Drusinsky, D.; Michael, J.B.; Shing, M.-T. 📂 Article 📅 2008 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 366 KB

Using Computer Algebra techniques for th

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Validation of array accesses: integratio

Validation of array accesses: integration of flow analysis and program verification techniques

✍ Raymond W. Lo; Karl N. Levitt; Ronald A. Olsson 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 165 KB

A program that accesses an out-of-bound array element can cause unexpected behaviour that is unacceptable to safety-critical or security-critical systems. Two traditional compile-time approaches to array bound checking are flow analysis and program verification. This paper presents a new approach, I

A Contribution of Graph Grammar Techniqu

A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools

✍ Ingo Stuermer 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 38 KB