Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Author： Gnesi S.   Latella D.   Massink M.  

Publisher： Elsevier

ISSN： 1567-8326

Source： Journal of Logic and Algebraic Programming, Vol.51, Iss.1, 2002-04, pp. : 43-75

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

An Approach to UML Consistency Checking Based on Compositional Semantics

By  

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 8, Iss. 2, 2017-07 ,pp. : 1-23

IGI Global_journal

Access to resources Recommend Favorite

Model Checking UML State Machines and Collaborations

By Schafer T.   Knapp A.   Merz S.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. : 1-13

Elsevier

Access to resources Recommend Favorite

Data structures for symbolic multi-valued model-checking

By Chechik Marsha   Gurfinkel Arie   Devereux Benet   Lai Albert   Easterbrook Steve  

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

Access to resources Recommend Favorite

Counter-example generation in symbolic abstract model-checking

By Pace Gordon   Halbwachs Nicolas   Raymond Pascal  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 158-164

Springer Publishing Company

Access to resources Recommend Favorite