Towards parallel composition of partial finite state machines: Checking safety property step-by-step.

E. Darusenkova Natalia Shabaldina

Published in: EWDTS (2016)

Keyphrases

finite state machines
finite state automata
model checking
digital circuits
regular expressions
shared memory
massively parallel
hidden markov models
consistency checking
parallel processing
database
parallel implementation
parallel computing
desirable properties
monitoring system
test set
data analysis