Assuring property conformance of code generators via model checking

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.5, 2011-09, pp. : 589-606

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

Software model checking without source code

By Chaki Sagar

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 233-242

Springer Publishing Company

Access to resources Recommend Favorite

Abstract property language for MDG model checking methodology

By Abed Sa'ed Hussain Kamran Ait-Mohamed Otmane

International Journal of Computer Applications in Technology, Vol. 44, Iss. 1, 2012-07 ,pp. : 23-36

Inderscience Publishers

Access to resources Recommend Favorite

Semantic web service composition via model checking techniques

By Kil Hyunyoung Nam Wonhong

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

Inderscience Publishers

Access to resources Recommend Favorite

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking

By Talpin Jean-Pierre Guernic Paul Shukla Sandeep Gupta Rajesh

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 613-643

Springer Publishing Company

Access to resources Recommend Favorite

Replaying history on process models for conformance checking and performance analysis

WILEY INTERDISCIPLINARY REVIEWS: DATA MINING AND KNOWLEDGE DISCOVERY (ELECTRONIC), Vol. 2, Iss. 2, 2012-03 ,pp. : 182-192

John Wiley & Sons Inc

Access to resources Recommend Favorite