The team

The KindSpec project is a joint work developed by María Alpuente, Marco A. Feliú, Daniel Pardo, and Alicia Villanueva.

KindSpec was distributed as a web application that unfortunately is not available today. KindSpec 2.2 incorporates new features such as the automatic generation of candidate axioms and the falsification process.

KindSpec 2.2. is currently maintained by Alicia Villanueva.

Papers

The theoretical basis and initial works related to KindSpec are described in the following papers.

• Abstract Contract Synthesis and Verification in the Symbolic K Framework.
  María Alpuente, Daniel Pardo and Alicia Villanueva
  Technical report, Universitat Politècnica de València (2018)
  
• Symbolic Abstract Contract Synthesis in a Rewriting Framework.
  María Alpuente, Daniel Pardo and Alicia Villanueva
  Lecture Notes in Computer Science, vol. 10184, pp. 187-202 (2017)
  
• Automatic Inference of Specifications in the K framework.
  María Alpuente, Daniel Pardo and Alicia Villanueva
  Electronic Proceedings in Theoretical Computer Science, vol. 200, 2015, pp. 1-17 (2015)
• Automatic inference of specifications using matching logic.
  María Alpuente, Marco A. Feliú and Alicia Villanueva
  Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation (PEPM'13), ACM Press, pp 127-136 (2013)