✦ LIBER ✦

Tools for support of automata-based programming

✍ Scribed by V. S. Gurov; M. A. Mazin; A. S. Narvsky; A. A. Shalyto

Book ID: 110190883
Publisher: SP MAIK Nauka/Interperiodica
Year: 2007
Tongue: English
Weight: 371 KB
Volume: 33
Category: Article
ISSN: 0361-7688
DOI: 10.1134/s0361768807060059

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Knowledge-based programming tools for ro

Knowledge-based programming tools for robotised manufacturing facilities

✍ G. M. Acaccia; R. C. Michelini; R. M. Molfino; F. Pampagnin; G. B. Rossi 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 860 KB

Dynamically programmed automata for quas

Dynamically programmed automata for quasi context sensitive languages as a tool for inference support in pattern recognition-based real-time control expert systems

✍ Mariusz Flasiński; Janusz Jurek 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 663 KB

Automata-based verification of programs

Automata-based verification of programs with tree updates

✍ Peter Habermehl; Radu Iosif; Tomáš Vojnar 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 933 KB

Tool support for learning Büchi automata

Tool support for learning Büchi automata and linear temporal logic

✍ Yih-Kuen Tsay; Yu-Fang Chen; Ming-Hsien Tsai; Kang-Nien Wu; Wen-Chin Chan; Chi-J 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 853 KB

Software support tools for program synth

Software support tools for program synthesis for mini- and microcomputers

✍ V. P. Zakhariya; L. M. Zakhariya 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 369 KB

Program schemata vs. automata for decida

Program schemata vs. automata for decidability of program logics

✍ N.V. Shilov 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 922 KB

A new technique for decidability of program logics is introduced. This technique is applied to the most expressive propositional program logic -mu-calculus. 0. Introduction We would like to present program scheme technique (PST) for decidability of program and polymodal propositional logics. This te