Software

  • Inference Systems in Agda
    An Agda library for inference systems with corules, which supports standard induction and coinduction as well as flexible coinduction
    repository

  • QueryAGT
    An implementation in co-logic programming of the asynchronous global type system with a simple query language to interact with it
    repository

  • Coinductive Logic Programming (coLP) with coclauses
    A Prolog meta-interpreter for flexible coinductive logic programming
    repository

  • nuMonitor
    A prototype SWI-Prolog implementation of a six value runtime monitoring system based on nu-calculus, recognising non-monitorable paths.
    repository