Accelerating Bounded Model Checking of Safety Properties

By Strichman Ofer  

Formal Methods in System Design, Vol. 24, Iss. 1, 2004-01 ,pp. : 5-24

Springer Publishing Company

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E.   Gü A. Burak     Ç M. Ufuk      

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite

A Dynamic Label Checking Approach for Information Flow Control in Web Services

By  

International Journal of Web Services Research (IJWSR), Vol. 3, Iss. 1, 2006-01 ,pp. : 1-28

IGI Global_journal

Access to resources Recommend Favorite

Model-checking the preservation of temporal properties upon feature integration

By Guelev Dimitar   Ryan Mark   Schobbens Pierre  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 53-62

Springer Publishing Company

Access to resources Recommend Favorite