✦ LIBER ✦

On the Formal Verification of Middleware Behavioral Properties

✍ Scribed by Jérôme Hugues; Thomas Vergnaud; Laurent Pautet; Yann Thierry-Mieg; Soheib Baarir; Fabrice Kordon

Book ID: 108126426
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 477 KB
Volume: 133
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.08.062

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Effective Deployment of Functiona

On the Effective Deployment of Functional Formal Verification

✍ Yael Abarbanel-Vinov; Neta Aizenbud-Reshef; Ilan Beer; Cindy Eisner; Daniel Geis 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 70 KB

Formal Verification of Dynamic Propertie

Formal Verification of Dynamic Properties in an Aerospace Application

✍ Simin Nadjm-Tehrani; Jan-Erik Strömberg 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 337 KB

On the formal specification and verifica

On the formal specification and verification of digital circuits

✍ Peter J. de Graaff 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 546 KB

Supporting the formal verification of ma

Supporting the formal verification of mathematical texts

✍ Claus Zinn 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully

Verification of interdomain routing syst

Verification of interdomain routing system based on formal methods

✍ Zang, Zhiyuan; Luo, Guiming; Yin, Chongyuan 📂 Article 📅 2009 🏛 Bioline International 🌐 English ⚖ 338 KB

Formal verification of the NASA runway s

Formal verification of the NASA runway safety monitor

✍ Radu I. Siminiceanu; Gianfranco Ciardo 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 547 KB