Login / Signup

Formal verification and validation of run-to-completion style state charts using Event-B.

Karla MorrisColin F. SnookThai Son HoangGeoffrey C. HuletteRobert C. ArmstrongMichael J. Butler
Published in: Innov. Syst. Softw. Eng. (2022)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • bounded model checking
  • model checker
  • data sets
  • neural network
  • event detection