FAL-based High Reusability and Automated Verification Platform.

Tingrong Zhang Shuming Chen Zhao Lv

Published in: CSAE (2018)

Keyphrases

automated verification
model checking
automated reasoning
correct answers
real time
formal verification
high efficiency
neural network
e learning
wide range
design patterns
machine learning
search engine
learning objects
theorem proving
software reuse