Login / Signup

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.

Dejan NickovicOlivier LebeltelOded MalerThomas FerrèreDogan Ulus
Published in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
  • qualitative and quantitative
  • temporal logic
  • model checking
  • quantitative and qualitative
  • qualitative information
  • temporal reasoning
  • verification method
  • complex systems
  • dynamical systems
  • concurrent systems