Automated formal verification of visual modeling languages by model checking

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.3, Iss.2, 2004-05, pp. : 85-113

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

Related content

Bytecode Verification by Model Checking

By Basin David Friedrich Stefan Gawkowski Marek

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 399-444

Springer Publishing Company

Access to resources Recommend Favorite

Automated formal analysis and verification: an overview

By Křena Bohuslav Vojnar Tomáš

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 335-365

Taylor & Francis Ltd

Access to resources Recommend Favorite

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

By Pereira A. Song M. Gorgulho G.

Electronic Commerce Research, Vol. 6, Iss. 3-4, 2006-10 ,pp. : 265-303

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

Modular Verification of Open Features Using Three-Valued Model Checking

By Li Harry

Automated Software Engineering, Vol. 12, Iss. 3, 2005-07 ,pp. : 349-382

Springer Publishing Company

Access to resources Recommend Favorite