Paper C Diagnostic Model-checking for Real- Time Systems. Diagnostic Model-checking for Real-time Systems


In this paper we present a diagnostic model-checking technique to facilitate debugging of system descriptions. The basic idea is to let the model-checker generate a sequence of transitions, namely a diagnostic trace, to explain or prove why certain states are reachable in a system description. The diagnostic traces turn out to be very useful for modelling… (More)

7 Figures and Tables


  • Presentations referencing similar topics