ANSI C Specification Language
Table of Contents
1. Idea
Think of the ANSI C Specification Language as Hoare triples we stick in C comments. The syntax is straightforward.
The only short-comings I've experienced with it involves its inability
to adequately reason about malloc().
2. References
- Frama-C is the only tool which analyzes C code for ACSL assertions.