Checking JML-encoded finite state machine properties.

Ijaz Ahmed Néstor Cataño

Published in: ICACS (2018)

Keyphrases

finite state machines
model checking
state machine
finite state automata
data sets
hidden markov models
information extraction
object oriented
np complete
structural properties
desirable properties
data flow
functional units