Login / Signup

Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations.

Arthur Tran VanOlivier LevillainHervé Debar
Published in: ARES (2024)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • sequence diagrams
  • reactive systems
  • fault tolerant
  • finite state machines
  • neural network
  • conceptual model