Bounded Error Approximation

Please download the source code for bounded error approximation of parameterized linear system by clicking on download link and follow the given instructions:

  1. Unzip the boundedapprox.tar.gz folder
  2. Go to boundedapprox folder
  3. Go to main folder
  4. python main.py
  5. z3 -smt2 sat.smt

Version Size Link
Version 1.0 16.90 KB boundedapprox
 

Bounded Safety Verification

Please download the source code for bounded safety verification of parameterized linear hybrid system by clicking on download link and follow the given instructions:

  1. Unzip the boundedreach.tar.gz folder
  2. Go to boundedreach folder
  3. Go to Computation folder
  4. $ sage
  5. $ load("beaver.py")
  6. Select examples from INPUT folder through file menu or create own example
  7. Press run menu
Please follow the same steps for robot example as well.

Version Size Link
Version 1.0 53.7 KB boundedreach
Version 1.0 53 KB robotexample