Assertion checking environment (ACE) for formal verification of C programs

Sharma, B.Dhodapkar, S. D.Ramesh, S.2022-04-052022-04-052003Reliability Engineering and System Safety, 2003. Vol. 81 (3): pp. 281-290http://hdl.handle.net/123456789/243224340 bytestext/htmlenC programAssertion checking environmentStanford temporal proverAssertion checking environment (ACE) for formal verification of C programsArticle