✦ LIBER ✦

Formal methods in embedded design

✍ Scribed by Johnson, S.D.

Book ID: 114575233
Publisher: IEEE
Year: 2003
Tongue: English
Weight: 299 KB
Volume: 36
Category: Article
ISSN: 0018-9162
DOI: 10.1109/mc.2003.1244539

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Invisible formal methods for embedded co

Invisible formal methods for embedded control systems

✍ Tiwari, A.; Shankar, N.; Rushby, J. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 507 KB

Formal Verification for Embedded System

Formal Verification for Embedded System Designs

✍ Xi Chen; Harry Hsieh; Felice Balarin; Yosinori Watanabe 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 140 KB

Formal Methods in Communication Protocol

Formal Methods in Communication Protocol Design

✍ Bochmann, G.; Sunshine, C. 📂 Article 📅 1980 🏛 IEEE 🌐 English ⚖ 989 KB

Formal methods in computer system design

✍ C.A.R. Hoare 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 501 KB

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.

Formal methods in system design and impl

Formal methods in system design and implementation

✍ Bernard Sufrin 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 708 KB

Late discovery of design errors is responsible for the very high cost of many computer-based information systems. Poor documentation of interfaces and poor quality of implementation is responsible for very high failure rates of even well-designed systems. Formal methods promise to relieve some of th

Introduction to formal methods of softwa

Introduction to formal methods of software design

✍ Anthony C Davies 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 656 KB