Model checking driven static analysis for the real world: designing and tuning large scale bug detection

ISSN： 1614-5046

Source： Innovations in Systems and Software Engineering, Vol.9, Iss.1, 2013-03, pp. : 45-56

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Malware Detection by Static Checking and Dynamic Analysis of Executables

International Journal of Information Security and Privacy (IJISP), Vol. 11, Iss. 3, 2017-07 ,pp. : 29-41

IGI Global_journal

Access to resources Recommend Favorite

Pushdown model checking for malware detection

By Song Fu Touili Tayssir

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

Springer Publishing Company

Access to resources Recommend Favorite

Deviation Analysis: A New Use of Model Checking

By Heimdahl Mats Choi Yunja Whalen Michael

Automated Software Engineering, Vol. 12, Iss. 3, 2005-07 ,pp. : 321-347

Springer Publishing Company

Access to resources Recommend Favorite

Distributed disk-based algorithms for model checking very large Markov chains

By Bell Alexander Haverkort Boudewijn

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 177-196

Springer Publishing Company

Access to resources Recommend Favorite

Conflict detection in composite web services based on model checking

By Kim Yeon-Seok Shin Dong-Hoon Jeon Hyun-Bae Lee Kyong-Ho Cho Kee-Seong Park Wonjoo

International Journal of Web and Grid Services, Vol. 9, Iss. 4, 2013-11 ,pp. : 394-430

Inderscience Publishers

Access to resources Recommend Favorite