FreeRTOS verification project artifacts

• Source Code: FreeRTOS version 6.1.1 source code available at Source Forge site.
• Verification artifacts
  • Z models
    • M1.
    • M2 (with overflow-delayed and complemented priority).
    • M2 refines M1 proof in VCC.
  • VCC code
    • xListMap: xListMap.h, xListMap.c.
    • Proof of P1 refines M2 in VCC.
    • Proof of xList refines xListMap in VCC.
  • Bugs found and example applications illustrating bugs.
  • Corrected Source.
• Sumesh Divakaran's PhD Thesis on this topic.