𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

✍ Scribed by Alpuente, María; Joubert, Christophe; Kowalewski, Stefan; Roveri, Marco

Book ID
122563816
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
167 KB
Volume
78
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 10th international worksh
[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Ten commandments revisited
✍ Bowen, Jonathan P.; Hinchey, Michael G. 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 289 KB

Editors, Tiziana Margaria & Mieke Massink ; Sponsored By Acm Sigsoft. Acm Order Number 592055--p. Ii. Includes Bibliographic References And Author Index. Also Issued Online With Additional Title: Proceedings Of The 10th International Workshop On Formal Methods For Industrial Critical Systems.

[ACM Press the 10th international worksh
[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Ten commandments revisited
✍ Bowen, Jonathan P.; Hinchey, Michael G. 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 289 KB

Ten years ago, our 1995 paper Ten Commandments of Formal Methods [5] suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial