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

Simple item page
dc.contributor.authorSharma, B.
dc.contributor.authorDhodapkar, S. D.
dc.contributor.authorRamesh, S.
dc.date.accessioned2022-04-05T05:47:08Z
dc.date.available2022-04-05T05:47:08Z
dc.date.issued2003
dc.description.divisionRCnDen
dc.format.extent4340 bytes
dc.format.mimetypetext/html
dc.identifier.sourceReliability Engineering and System Safety, 2003. Vol. 81 (3): pp. 281-290en
dc.identifier.urihttp://hdl.handle.net/123456789/24322
dc.language.isoenen
dc.subjectC programen
dc.subjectAssertion checking environmenten
dc.subjectStanford temporal proveren
dc.titleAssertion checking environment (ACE) for formal verification of C programsen
dc.typeArticleen

Click here to download

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
0501.htm
Size:
4.24 KB
Format:
Hypertext Markup Language
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.81 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

2003