Login / Signup

Execution trace-based model verification to analyze multicore and real-time systems.

Raphaël BeamonteNaser Ezzati-JivanMichel R. Dagenais
Published in: Concurr. Comput. Pract. Exp. (2022)
Keyphrases
  • real time systems
  • computational model
  • probabilistic model
  • cooperative
  • process model
  • conceptual model
  • verification method
  • web services
  • high level
  • dynamic programming
  • model checking
  • embedded real time systems