Towards model checking executable UML specifications in mCRL2
Open Access
- 7 February 2010
- journal article
- Published by Springer Science and Business Media LLC in Innovations in Systems and Software Engineering
- Vol. 6 (1), 83-90
- https://doi.org/10.1007/s11334-009-0116-1
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Symbolic Reachability for Process Algebras with Recursive Data TypesLecture Notes in Computer Science, 2008
- Automatic Generation of CSP || B Skeletons from xUML ModelsLecture Notes in Computer Science, 2007
- Explicit modeling of semantics associated with composite states in UML statechartsAutomated Software Engineering, 2006
- A discrete-time UML semantics for concurrency and communication in safety-critical applicationsScience of Computer Programming, 2005
- Improvements towards formalizing UML state diagrams in CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- An automatic SPIN validation of a safety critical railway control systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formalization of UML-StatechartsLecture Notes in Computer Science, 2001
- Model checking of hierarchical state machinesACM Transactions on Programming Languages and Systems, 2001
- Formal Verification of a Railway Interlocking System using Model CheckingFormal Aspects of Computing, 1998
- Process algebra for synchronous communicationInformation and Control, 1984