Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems
A tool for checking ANSI-C programs