The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

The increasing complexity of embedded systems renders software verification more
complex, requiring monitoring and formal techniques, like model-checking. However, to use …

Multiverse debugging is an extension of classical debugging methods, particularly adapted
to non-deterministic systems. Recently, a language-independent formalization was …

Multiverse debugging extends classical and omniscient debugging to allow the exhaustive
exploration of non-deterministic and concurrent systems during debug sessions. The …

Each software modeling tool typically supports only a few tasks among model creation,
simulation, debugging, analysis, transformation, deployment, and monitoring. Therefore …

This paper presents experience feedback on how we managed to formally verify properties
on semi-formal models of a Life Cycle Management System (LCMS) for smart devices …

The formal verification of the properties of semi-formal models can make it easier to ensure
their security and safety. However, this task is generally cumbersome for non-specialists in …

Giving accurate and relevant static analysis feedback to modeling tool users significantly
helps them design useful models. This feedback is even more valuable when it comes with …

Effective requirements management is crucial in the rapidly evolving landscape of Financial
Technology (FinTech) to deliver innovative and customer-centric solutions. Unified Modeling …

Cocoa is an annual plant passed down from generation to generation in farming
communities. The Indonesian cocoa-based product agroindustry, in practice, still depends …