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