Results (3)

  • Verification methods for the divergent runs of clock systems
    Conference paper
  • Proving safety properties of hybrid systems
    Conference paper