✦ LIBER ✦

On-the-Fly Verification using CADP

✍ Scribed by Radu Mateescu

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 105 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80826-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On-the-fly conformance testing using SPI

On-the-fly conformance testing using SPIN

✍ René G. de Vries; Jan Tretmans 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 260 KB

Murder on the Fly

✍ Jeffrey Alan Lockwood 📂 Fiction 📅 2017 🏛 Pen-L Publishing 🌐 English ⚖ 216 KB 👁 2 views

Fly on the Wall

✍ E. Lockhart 📂 Fiction 📅 2006;2013 🏛 Random House Children's Books;Delacorte Press 🌐 en-US ⚖ 88 KB 👁 3 views

At the Manhattan School for Art and Music, where everyone is "different" and everyone is "special," Gretchen Yee feels ordinary. She's the kind of girl who sits alone at lunch, drawing pictures of Spider-Man, so she won't have to talk to anyone; who has a crush on Titus but won't do anything about i

Murder on the Fly

✍ Lockwood, Jeffrey Alan 📂 Fiction 📅 2017 🏛 Pen-L Publishing 🌐 English ⚖ 124 B

Fly on the Wall

✍ Brink, Jason 📂 Fiction 🌐 English ⚖ 7 MB

Verification of the legOS Scheduler usin

Verification of the legOS Scheduler using Uppaal

✍ Lone Halkjaer; Karen Haervi; Anna Ingolfsdottir 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 149 KB