VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SMV TOOL

Evgeny Kurbatsky

2008 , VOLUME 08, NUMBER 8 ( April )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SMV TOOL

E. Kurbatsky

Read the full article

Abstract

We consider the method of verification of automata-based programs using Model Checking method. To verify the model the tool SMV is used. In the proposed approach, transition system is not built in explicit form. This allows the program to verify systems with large number of states.

Keywords: program verification, model checking, automata-based programming, SMV verifier

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License