Login / Signup

Complexity Bounds for the Verification of Real-Time Software.

Rohit ChadhaAxel LegayPavithra PrabhakarMahesh Viswanathan
Published in: VMCAI (2010)
Keyphrases
  • complexity bounds
  • real time
  • worst case
  • model checking
  • constraint networks
  • query containment