Verifying event driven systems

The thesis directs at providing tools, which support for automatic trans-lation from an application of event-driven systems to a target Event-B model that makes less eort and reduces the diculties in modeling pro-cess. The output of these tools are expected to be able usable in the Event-B supporting tools such as Rodin.

174p tamynhan0 04-07-2020 24 7   Download