Verification of Automata-Based Programs
Evgeny Kurbatsky · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2008
this paper describes a verification method of automata based programs [1] based on symbolic model checking algorithms [2].Author makes an attempt to develop verification method that can automate process of verification and can be useful for peoples unacquainted with model checking algorithms or tools.