Login / Signup

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.

Jaime AriasKyungmin BaeCarlos OlartePeter Csaba ÖlveczkyLaure PetrucciFredrik Rømming
Published in: Sci. Comput. Program. (2024)
Keyphrases
  • data analysis
  • statistical analysis
  • timed automata
  • search algorithm
  • model checking