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:
CoRR (2018)
Keyphrases
</>
state machines
reactive systems
state machine
model checking
petri net
theorem prover
formal methods
recurrent networks
temporal logic
natural deduction
finite state machines
formal specification
sequence diagrams
control flow
real time
fault tolerant
artificial neural networks
artificial intelligence