Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.

Fang Yan Simon Foster Ibrahim Habli

Published in: ICECCS (2023)

Keyphrases

state machines
theorem prover
natural deduction
state machine
petri net
formal methods
recurrent networks
inference rules
real time
first order logic
theorem proving
sequence diagrams
model checking
human operators
reactive systems