Login / Signup

A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.

Kai YangCong TianNan ZhangZhenhua DuanHongwei Du
Published in: IEEE Trans. Reliab. (2021)
Keyphrases
  • dynamic analysis
  • dynamic environments
  • data sets
  • desirable properties
  • multiscale
  • video sequences
  • special case
  • structural properties
  • static analysis
  • programming environment
  • dynamic routing
  • imperative programs