Verifying Temporal Properties of C Programs via Lazy Abstraction.

Zhao Duan Cong Tian Zhenhua Duan

Published in: ICFEM (2017)

Keyphrases

temporal properties
model checking
temporal logic
formal methods
formal specification
possibility theory
hardware designs
high level
computer programs
web services
general purpose