Login / Signup

Q: A Sound Verification Framework for Statecharts and Their Implementations.

Samuel D. PollardRobert C. ArmstrongJohn BenderGeoffrey C. HuletteRaheel S. MahmoodKarla MorrisBlake C. RawlingsJon M. Aytac
Published in: FTSCS (2022)
Keyphrases
  • main contribution
  • knowledge base
  • probabilistic model
  • lightweight
  • theoretical framework
  • model checking
  • efficient implementation