✦ LIBER ✦

Verification of interdomain routing system based on formal methods

✍ Scribed by Zang, Zhiyuan; Luo, Guiming; Yin, Chongyuan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and formal verification of embe

✍ Luis Alejandro Cortés; Petru Eles; Zebo Peng 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Toward a wider use of formal methods for

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

A formal framework for verifying distrib

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

On the verification of model reduction m

✍ Pierre Ladevèze; Ludovic Chamoin 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 1016 KB

Methods and algorithms for verification

✍ G. V. Rybina; V. V. Smirnov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 254 KB

Modeling and verification of real-time s

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB