Formalization and Verification of PLC Timers in Coq.

Hai Wan Gang Chen Xiaoyu Song Ming Gu

Published in: COMPSAC (1) (2009)

Keyphrases

formal methods
formal analysis
model checking
control system
face verification
information systems
knowledge representation
theorem prover
fuzzy control
real time
data sets
learning algorithm
knowledge base
data transmission
person identification
verification method