New Generations of UPPAALSTTT Workshop 1998

• MODEL

  • Bounded Domain Variables, Structure variables, Hierarchical TA

• PROPERTIES

  • Bounded Liveness, General Liveness, Inconsistencies & Deadlock

• ENGINE

  • Optimized Hash function
  • Compositional Verification
  • BDDs for real-time
  • Partial Order Reduction for real-time

• INTERFACE

  • Unification of editor/simulator. Client (GUI)/Server (Engine)
  • Literate Verification

Previous slide

Back to first slide

View graphic version