In the top journal IEEE Transactions on Software Engineering (TSE) a paper on a new verification approach is in print (DOI: 10.1109/TSE.2021.3110191), which is authored by us. This approach is characterized by the following:
- Modeling of objects in the physical model through Object Life Cycles
- Connecting Object Life Cycles with Activity diagrams based on Semantic Action Specifications
- Automated transfer of these models into the code of the nuXmv tool for model checking with Model-driven Transformation
- General formal criteria for Consistency in Time Logic
Workflow of the new verification approach
