Useful Links¶

• TrustInSoft
• Frama-C

• ACSL (ANSI/ISO C Specification Language)
  • ACSL Documentation
  • ACSL Implementation Manual
• the ISO/IEC 9899:1999 standard (Final version of the C99 standard)
• the ISO/IEC 9899:2011 standard (Late draft of the C11 standard)
• the ISO/IEC 9899:2018 standard (Early draft of the C2x standard)
• Coq
• the MITRE Corporation
  • The CWE Coverage Claims Representation
  • CWE-658: Weaknesses in Software Written in C