Model Checking - Google Sites

Download PDF
1 downloads 222 Views 2MB Size Report
Comment
where v1, v2, . . . . v represents the current state and v., v, ..., v, represents the next state. By converting this ..