formal methods, verification, internet of things, IIoT, automated verification, business process, software engineering
Modelling and Verification for the IoT
A formal model of an IoT application is developed from its Web of Things specification. The model is checked using a model checker for certain quantitative and qualitative properties. The applications needing reconfiguration are checked for the impact of reconfiguration.
Verification of BPMN (VBPMN)
Encoding BPMN models as formal models and integrating them to a formal verification toolbox to perform formal analysis using model checking and equivalence checking techniques.