Login / Signup
An automated framework for verifying or refuting trace properties of extended finite state machines.
Ramsay G. Taylor
Michael Foster
Siobhán North
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
finite state machines
key properties
model checking
neural network
probabilistic model
desirable properties
data sets
knowledge base
relational databases
natural language processing
main contribution
finite state automata