Login / Signup
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support.
Min Zhang
Kazuhiro Ogata
Masaki Nakamura
Published in:
IEICE Trans. Inf. Syst. (2011)
Keyphrases
</>
equational theories
state machines
tool support
state machine
petri net
software development
software tools
software engineering
theorem proving
design decisions
recurrent networks
software projects
sequence diagrams
test suite
artificial neural networks
fault tolerant