Formal verification of cP systems using Coq.

Yezhou Liu Radu Nicolescu Jing Sun

Published in: J. Membr. Comput. (2021)

Keyphrases

formal verification
automated verification
formal methods
management system
complex systems
model checking
model checker
bounded model checking
information systems
state space
knowledge based systems
constraint satisfaction
constraint programming
theorem proving