✦ LIBER ✦

Verification of synchronous-automaton programs with the use of LTL

✍ Scribed by S. V. Kubasov

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

Formal verification of concurrent progra

✍ Chetali, B. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 240 KB

Verification of Safety Properties Using

✍ Javier Esparza; Stephan Melzer 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 191 KB

The use of heat detection aids in estrus

✍ R.G. Elmore; A.A. Aderibigbe; H.A. Garverick 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Synchronizing the I/O behavior of functi

✍ Andrew Dwelly 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 735 KB

In extremal combinatorial problem associ

✍ A. A. Klyachko; I. K. Rystsov; M. A. Spivak 📂 Article 📅 1987 🏛 Springer US 🌐 English ⚖ 783 KB