• Software distribution and licensing: Privately distributed in a contractual setting
  • Software maturity: Basic usage works, terse documentation.
  • Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans

d/dt is a prototype tool for reachability analysis of continuous and hybrid systems

View online : d/dt Web Page