DMCA

Towards Model Checking of Finite State Machines Extended with Memory through Refinement

by Eleftherakis G , Kefalas P