Publication in IEEE TSE

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

Published by

E192-01, E384-01, E902