✦ LIBER ✦

Hierarchical formal verification using a hybrid tool

✍ Scribed by Skander Kort; Sofiène Tahar; Paul Curzon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A comparison of tools for teaching forma

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

Design and formal verification of a hier

✍ Hemangee K. Kapoor, Praveen Kanakala, Malti Verma… 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 884 KB

Formal Verification of a Railway Interlo

✍ A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 130 KB

A formal semantics of extended hierarchi

✍ Yamagata, Yoriyuki; Kong, Weiqiang; Fukuda, Akira; Tang, Nguyen; Ohsaki, Hitoshi 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 523 KB

A study on hybrid switch architecture us

✍ Hiroshi Ishikawa; Yasuharu Kosuge; Noriharu Miyaho 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 564 KB

Modelling and Verification using Linear

✍ Müller, Olaf; Stauner, Thomas 📂 Article 📅 2000 🏛 Taylor and Francis Group 🌐 English ⚖ 214 KB