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

No Thumbnail Available

Click here to download

0501.htm (4.24 KB)

Date

2003

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

C program, Assertion checking environment, Stanford temporal prover

Source

Reliability Engineering and System Safety, 2003. Vol. 81 (3): pp. 281-290

URI

http://hdl.handle.net/123456789/24322

Collections

2003