Formal validation of virtual finite state machines.

Alan R. Flora-Holmquist Mark G. Staskauskas

Published in: WIFT (1995)

Keyphrases

finite state machines
model checking
finite state automata
formal specification
virtual environment
virtual reality
regular expressions
virtual world
formal model
hidden markov models
augmented reality
digital circuits
metadata
formal methods
mathematical theory