Verification of Complex Real-Time Systems using Rewriting Logic.

Mustapha Bourahla

Published in: J. Comput. Inf. Technol. (2009)

Keyphrases

real time systems
real time
mission critical
asynchronous circuits
distributed systems
real time database systems
model checking
high level
computer science
embedded systems
real time embedded
scheduling problem
low cost
timing constraints
verification method
object oriented programming language