In this work, we propose a bounded verification approach for state machine (SM) models
that is independent of any model checking tools. This independence is achieved by …

Abstract Model-driven development (MDD) advocates using models as the primary software
development artifacts in place of source code. Automatic synthesis and verification of …

Software-intensive programmable controllers are becoming prevalent in several industrial
fields, eg, railway and avionics domains. Programmable controllers are in general regarded …

In a model-driven development workflow, formal verification can give early feedback on the
correctness of the system under development. However, formal methods face various …