Verification of CTCS-3 using TMSVL.

Yining Wang Chunyi Li Xiaobing Wang

Published in: DSA (2021)

Keyphrases

model checking
formal verification
evolutionary algorithm
neural network
high security
verification method
information systems
digital libraries
formal analysis
signature verification
test generation