Login / Signup

Method of UML Statechart Checking Based on Explicit Model Checking.

Jiajing WangYou TangHelong YuWei Huang
Published in: ATCI (2020)
Keyphrases
  • model checking
  • verification method
  • formal methods
  • dynamic programming
  • software engineering
  • distributed systems
  • temporal logic
  • formal verification
  • binary decision diagrams
  • reachability analysis