Symbolic verification of regular properties.

Hengbiao Yu Zhenbang Chen Ji Wang Zhendong Su Wei Dong

Published in: ICSE (2018)

Keyphrases

desirable properties
database
multiscale
real time
machine learning
high level
data structure
learning environment
formal verification