✦ LIBER ✦

Automatic Verification of Biochemical Network Using Model Checking Method

✍ Scribed by Jinkyung Kim; Younghee Lee; Il Moon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic verification of operating sche

✍ Jinkyung Kim; Il Moon 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 630 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

Automatic verification of multi-agent sy

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Verification of a logically controlled,

✍ Scott T. Probst; Gary J. Powers; D.E. Long; I. Moon 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

The use of a frequency check in the vect

✍ Gorres, B. T. ;Jacobson, R. A. 📂 Article 📅 1964 🏛 International Union of Crystallography 🌐 English ⚖ 545 KB

Verification of Out-Of-Order Processor D

✍ Sergey Berezin; Edmund Clarke; Armin Biere; Yunshan Zhu 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 405 KB