A Formal Model of Extended Finite State Machines.

Michael Foster Achim D. Brucker Ramsay G. Taylor John Derrick

Published in: Arch. Formal Proofs (2020)

Keyphrases

formal model
finite state machines
finite state automata
model checking
hidden markov models
predicate calculus
regular languages
integrity constraints
formal models
security properties
mutation testing