Documentation

The documentation on how to use KindSpec 2.2 can be found in the KindSpec Quick Start Guide.

The list of papers related to KindSpec 2.2:

• Automated Synthesis of Software Contracts with KindSpec.
  María Alpuente, Alicia Villanueva.
  Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.
  Lecture Notes in Computer Science, vol. 13160, pp 51-71 (2023).
• Abstract Contract Synthesis and Verification in the Symbolic K Framework
  María Alpuente, Daniel Pardo and Alicia Villanueva
  Fundam. Informaticae 177(3-4): 235-273 (2020)