Improving Model Checking with Context Modelling

<table><tr><td><table class="algorithm" id="alg2"><tr><td colspan="2"><i>R2</i>:<i> During initialization procedure, S_CP shall associate an identifier to   </i></td></tr><tr><td colspan="2"><i>each device (Dev), after login request and before maxD_log time units. </i></td></tr></table></td></tr></table>

Initialization requirement for the <i>S_CP </i>system.

Advances in Software Engineering

alg2

Listing 2

Listing 2: Improving Model Checking with Context Modelling 