Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL's Automata.

Sidra Sultana Fahim Arif

Published in: IEEE Access (2017)

Keyphrases

timed automata
model checking
source code
finite state machines
computational power
rule sets
cellular automata
neural network
temporal logic
production rules
rewriting rules
decision trees