Formalization of UML state machines using temporal logic

By Rossi Carlos   Enciso Manuel   de Guzmán Inmaculada P.  

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 1, 2004-03 ,pp. : 31-54

Springer Publishing Company

Access to resources Recommend Favorite

Bounded model checking of infinite state systems

By Schuele Tobias   Schneider Klaus  

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite

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

By Gnesi S.   Latella D.   Massink M.  

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

Elsevier

Access to resources Recommend Favorite

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 of Time Petri Nets Using the State Class Timed Automaton

By Lime Didier   Roux Olivier  

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 179-205

Springer Publishing Company

Access to resources Recommend Favorite