Login / Signup
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