Searching for "Formal Verification for C Program." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Research Statement
- … step towards formal verification of C programs [12]. (This work was done during the summer of 2000…
- Add To MetaCart
-
C32SAT: Checking C Expressions
- … Introduction Formal verification of C programs is an active area of research [6,7,8,11]. C32SAT 1 addresses a…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 2.
