Software from members 

This page contains links to software developed by UNU/IIST Alumni Association members. We hope you will find it useful, but neither UNU/IIST nor the Alumni Association take any responsibility for the software. Any questions about the software, please contact the author.

AA members are welcome to use this page to publicise their own software. If you would like to do so then email the editor. For conditions see agreements.

  1. DC/P: the Duration Calculus Prover

    2. DC/P is an interactive proof assistant for a family of Interval Logics. It is implemented in a general purpose proof assistant called PVS.
    Author: Hu Chengjun

Thanks to Dr Mohanty Hrushikesha for his proposal to construct this page.