Using Coq for Formal Modeling and Verification of Timed Connectors.

Weijiang Hong M. Saqib Nawaz Xiyue Zhang Yi Li Meng Sun

Published in: SEFM Workshops (2017)

Keyphrases

formal methods
colored petri nets
petri net
formal analysis
modeling language
model checking
formal specification
databases
signature verification
dynamic aspects
information retrieval
computer vision
feature selection
decision making
website
real time
machine learning
formal representation
data sets