Modeling, specification, and verification of automaton programs.

E. V. Kuzmin Valery A. Sokolov

Published in: Program. Comput. Softw. (2008)

Keyphrases

formal verification
formal methods
provably correct
face verification
hybrid automata
colored petri nets
asynchronous circuits
formal specification
specification language
website
neural network
finite state machines
data sets
model checking
high level
case study
data mining
symbolic execution
hardware designs