Sign in

Symbolic verification of regular properties.

Hengbiao YuZhenbang ChenJi WangZhendong SuWei Dong
Published in: ICSE (2018)
Keyphrases
  • desirable properties
  • database
  • multiscale
  • real time
  • machine learning
  • high level
  • data structure
  • learning environment
  • formal verification