Login / Signup
Method of UML Statechart Checking Based on Explicit Model Checking.
Jiajing Wang
You Tang
Helong Yu
Wei 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