Login / Signup

Formal Verification of Behavioral AADL Models by Stateful Timed CSP.

Feng ZhangYongwang ZhaoDianfu MaWensheng Niu
Published in: IEEE Access (2017)
Keyphrases
  • formal verification
  • probabilistic model
  • model checking
  • constraint satisfaction
  • temporal logic
  • finite state machines
  • model checker