✦ LIBER ✦

Modeling, specification, and verification of automaton programs

✍ Scribed by E. V. Kuzmin; V. A. Sokolov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Application of the trace assertion metho

✍ E. V. Kuzmin; V. A. Sokolov; D. Ju. Chalyy 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 243 KB

Verification of synchronous-automaton pr

✍ S. V. Kubasov 📂 Article 📅 2010 🏛 Allerton Press Inc 🌐 English ⚖ 113 KB

Automaton semigroup models of programs

✍ R. I. Podlovchenko 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 181 KB

Application of Modal Logics to the Speci

✍ V. B. Popov; A. S. Anafiev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 30 KB

Modeling, specification and verification

✍ Vladimir A. Oleshchuk 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 140 KB

Using Computer Algebra techniques for th

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB