Improving Model Checking with Context Modelling

<table><tr><td><table class="algorithm" id="alg1"><tr><td colspan="2"><i>R</i>1:<i> A device (Dev) can be authorized to execute a command “operate” if it   </i></td></tr><tr><td colspan="2"><i>has previously connected to the system. </i></td></tr></table></td></tr></table>

Permission requirement for command “operate”.

Advances in Software Engineering

alg1

Listing 1

Listing 1: Improving Model Checking with Context Modelling 