Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.

Simon Foster James Baxter Ana Cavalcanti Alvaro Miyazawa Jim Woodcock

Published in: FACS (2018)

Keyphrases

state machines
reactive systems
model checking
state machine
petri net
formal methods
theorem prover
recurrent networks
temporal logic
finite state machines
sequence diagrams
neural network
control flow
natural deduction