Comparative modelling and verification of Pthreads and Dthreads.

Yuan Fei Huibiao Zhu Xi Wu Huixing Fang Shengchao Qin

Published in: J. Softw. Evol. Process. (2018)

Keyphrases

model checking
data sets
neural network
comparative analysis
face verification
conceptual modelling
multi agent
artificial neural networks
signature verification
formal verification
cryptographic protocols
high security
verification method
functional verification