An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.
Alexander KnappPublished in: Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
- state machines
- state machine
- sequence diagrams
- finite state machines
- modeling language
- uml class diagrams
- specification language
- petri net
- programming language
- model checking
- conceptual models
- fault tolerant
- constraint language
- software engineering
- recurrent networks
- object oriented
- open source
- regression testing
- intermediate representation
- image features
- metamodel
- software systems