Modeling, specification, and verification of automaton programs

Authors:
E. V. Kuzmin;V. A. Sokolov
Affiliations:
Demidov State University, Yaroslavl, Russia 150000;Demidov State University, Yaroslavl, Russia 150000
Venue:
Programming and Computing Software
Year:
2008

Citing 0
Cited 1

Application of the trace assertion method to the specification, design, and verification of automaton programs

Programming and Computing Software

Quantified Score

Hi-index	0.01

Visualization

Abstract