A Tool for Checking ANSI-C Programs
Top Cited Papers
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Error Explanation with Distance MetricsLecture Notes in Computer Science, 2004
- Behavioral consistency of C and verilog programs using bounded model checkingPublished by Association for Computing Machinery (ACM) ,2003
- Formal verification of commercial integrated circuitsIEEE Design & Test of Computers, 2001
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- Symbolic Model Checking without BDDsPublished by Defense Technical Information Center (DTIC) ,1999