Sign in

Formal verification of cP systems using PAT3 and ProB.

Yezhou LiuRadu NicolescuJing Sun
Published in: J. Membr. Comput. (2020)
Keyphrases
  • formal verification
  • automated verification
  • management system
  • complex systems
  • distributed systems
  • expert systems
  • model checker
  • information retrieval
  • domain specific
  • building blocks