Sign in

Diagnosing timed automata using timed markings.

Patricia BouyerLéo HenrySamy JaziriThierry JéronNicolas Markey
Published in: Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • first order logic
  • model based diagnosis
  • temporal logic
  • databases
  • multiscale
  • real time systems
  • search algorithm
  • relational databases