✦ LIBER ✦

SAT-based verification for timed component connectors

✍ Scribed by S. Kemper

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SAT-Based Methods for Sequential Hardwar

✍ Zurab Khasidashvili; Ziyad Hanna 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 105 KB

Modal event-clock specifications for tim

✍ Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 550 KB

Compositional verification for component

✍ Bensalem, S.; Bozga, M.; Nguyen, T.-H.; Sifakis, J. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 513 KB

A Generic Framework for Connector Archit

✍ H. Ehrig; J. Padberg; B. Braatz; M. Klein; F. Orejas; S. Perez; E. Pino 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Model-based prediction-verification sche

✍ S. Simon; J.P. Rogala 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 737 KB

SAT based timing analysis for fixed and

✍ Suchismita Roy; P.P. Chakrabarti; Pallab Dasgupta 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 319 KB