✦ LIBER ✦

Verification of gap-order constraint abstractions of counter systems

✍ Scribed by Bozzelli, Laura; Pinchinat, Sophie

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of Focusing System for Time

✍ Y. Arita 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 339 KB

[Lecture Notes in Computer Science] Hybr

✍ Antsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 530 KB

Tightened reachability constraints for t

✍ Zhikun She; Zhiming Zheng 📂 Article 📅 2008 🏛 Elsevier 🌐 English ⚖ 635 KB

The SH-Verification Tool — Abstraction-B

✍ P. Ochsenschläger; J. Repp; R. Rieke; U. Nitsche 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

Technical and programmatic constraints i

✍ C. Stavrinidis; M. Klein; O. Brunner; A. Newerla 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 687 KB

Verification of Aizerman's conjecture fo

✍ A. Bergen; I. Williams 📂 Article 📅 1962 🏛 IEEE 🌐 English ⚖ 388 KB