Some tools developed to support my research explorations:

  • HIP/SLEEK extension for the Barrier Logic
  • Prototype of a Decision Procedure Over Sophisticated Fractional Permissions
  •