✦ LIBER ✦

SOFSPEC: A pragmatic approach to automated specification verification

✍ Scribed by Erika Nyari; Harry Sneed

Publisher: Elsevier Science
Year: 1983
Tongue: English
Weight: 783 KB
Volume: 3
Category: Article
ISSN: 0164-1212
DOI: 10.1016/0164-1212(83)90034-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of HOS software specificati

Verification of HOS software specification by a hierarchical software understanding approach

✍ Jian Lu; Zongming Fei 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 656 KB

Cohort Partnerships: A Pragmatic Approac

Cohort Partnerships: A Pragmatic Approach to Doctoral Research

✍ James E. Witte; Waynne B. James 📂 Article 📅 1998 🏛 John Wiley and Sons ⚖ 180 KB 👁 2 views

A pragmatic approach to computer-assiste

A pragmatic approach to computer-assisted system building

✍ Oscar Barros 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 899 KB

Knowledge-based approach to structural i

Knowledge-based approach to structural integrity verification in requirements analysis and logical system specification

✍ R. Agarwal; S. Sakthivel; M. Tanniru 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB

A practical approach to specification te

A practical approach to specification technology selection

✍ Margaret J. Davis; David R. Addleman 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 1018 KB

Towards a transformational approach to p

Towards a transformational approach to program verification

✍ Myla Archer; Amy Lo; Ronald A. Olsson 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 182 KB 👁 1 views

Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be