Related content

Refinement and state machine abstraction

By Lermer K.   Strooper P.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 195-235

Elsevier

Access to resources Recommend Favorite

A Refinement of the -measure for Stack Programs

By Covino E.   Pani G.  

Electronic Notes in Theoretical Computer Science, Vol. 90, Iss. 1, 2003-11 ,pp. : 37-44

Elsevier

Access to resources Recommend Favorite

Data-abstraction refinement: a game semantic approach

By Bakewell Adam   Dimovski Aleksandar   Ghica Dan   Lazić Ranko  

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 373-389

Springer Publishing Company

Access to resources Recommend Favorite

A game-based abstraction-refinement framework for Markov decision processes

By Kattenbelt Mark   Kwiatkowska Marta   Norman Gethin   Parker David  

Formal Methods in System Design, Vol. 36, Iss. 3, 2010-09 ,pp. : 246-280

Springer Publishing Company

Access to resources Recommend Favorite

Closed-loop verification of medical devices with model abstraction and refinement

By Jiang Zhihao   Pajic Miroslav   Alur Rajeev   Mangharam Rahul  

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 191-213

Springer Publishing Company

Access to resources Recommend Favorite