Login / Signup
Execution trace-based model verification to analyze multicore and real-time systems.
Raphaël Beamonte
Naser Ezzati-Jivan
Michel 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