Abstractions of Random Finite-State Machines.

Kostas N. Oikonomou

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
high level
digital circuits
regular expressions
uniformly distributed
integrity constraints
mutation testing