LTL Verification of Automaton Programs
In the paper one of approaches to modelling, specification and verification of automaton programs are considered. The automata programming technology is effective enough in design and verification (the analysis of correctness) software for reactive and controlling systems. This technology, besides o...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2007-03-01
|
| Series: | Modelirovanie i Analiz Informacionnyh Sistem |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1112 |