Instance‐based representations have been applied to numerous classification tasks with
some success. Most of these applications involved predicting a symbolic class based on …

Event-B provides a flexible framework for stepwise system development via refinement. The
framework supports steps for (a) refining events (one-by-one),(b) splitting events (one-by …

Choreography models describe the communication protocols between services. Testing of
service choreographies is an important task for the quality assurance of service-based …

Event-B has emerged as one of the dominant state-based formal techniques used for
modelling control-intensive applications. Due to the blocking semantics of events, their …

Event-B provides a flexible framework for stepwise system development via refinement. The
framework supports steps for (a) refining events (one-by-one),(b) splitting events (one-by …

Cloud computing technologies help developers build scalable distributed apps. Serverless
architecture, or Function as a Service (FaaS), which separates app businesses into multiple …

In this paper, we present Hybrid Event B, a formal language for modeling hybrid systems.
Specifically, Hybrid Event B is an extension of Event B associating with differential dynamic …

With advances in cloud computing and distributed systems, cloud-native applications
provide immense flexibility to developers in terms of building scaleable and efficient …

Event-B is a language for the formal development of reactive systems. At present the RODIN
toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements …

Cloud computing technologies help developers build scalable distributed apps. Serverless
architecture, or Function as a Service (FaaS), which separates app businesses into multiple …