✦ LIBER ✦

The industrial use of formal methods

✍ Scribed by Martyn Thomas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The industrialization of formal methods

✍ John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 98 KB

VSE: formal methods meet industrial need

✍ Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 303 KB

Formal Methods for Industrial Critical S

✍ Andrew Butterfield 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 99 KB

The meaning of “formal”: from weak to st

✍ Pierre Wolper 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 165 KB

Analyzing Cockpit Interfaces Using Forma

✍ John Rushby 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 72 KB

Investigating the Integration of two For

✍ Juan Bicarregui; Brian Matthews; Brian Ritchie; Sten Agerholm 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 122 KB