Login / Signup

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

Xiaozhen ZhangZhaoming YangHui KongWeiqiang Kong
Published in: QRS (2022)
Keyphrases
  • probabilistic model
  • formal verification
  • bounded model checking
  • model checking
  • temporal logic
  • model checker
  • reactive systems
  • symbolic model checking
  • formal methods
  • knowledge base
  • cooperative
  • domain independent