✦ LIBER ✦

Invisible formal methods for embedded control systems

✍ Scribed by Tiwari, A.; Shankar, N.; Rushby, J.

Book ID: 118694558
Publisher: IEEE
Year: 2003
Tongue: English
Weight: 507 KB
Volume: 91
Category: Article
ISSN: 0018-9219
DOI: 10.1109/jproc.2002.805818

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal framework for verifying distrib

A formal framework for verifying distributed embedded systems based on abstraction methods

✍ Francois Carcenac; Frederic Boniol 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 699 KB

Model validation for embedded systems us

Model validation for embedded systems using formal method-aided simulation

✍ Karlsson, D.; Eles, P.; Peng, Z. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 520 KB

Formal methods for legacy systems

✍ Ward, M. P. ;Bennett, K. H. 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 952 KB

Formal methods for interactive systems

✍ Antonio Cerone; Paul Curzon 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 71 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 for broadband and multime

Formal methods for broadband and multimedia systems

✍ Stefan Fischer; Stefan Leue 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 564 KB

The proper capture of desired system properties is a pivotal step in providing high quality systems. The formal specification of these properties is necessary to provide unambiguous documentation as well as automated transformation of Ž . system requirements during all stages of the life cycle. The