[PADS]

Release Notes

LearnPADS 1.00:
  • Initial release.
  • Requires PADS 2.01 or higher.
  • Tool documentation available in README
  • On-line demo available from PADS web site.
  • Description of algorithm available in POPL 2008 paper.