[PDF] Top 20 Generating Distributed Programs from Event-B Models
Has 10000 "Generating Distributed Programs from Event-B Models" found on our website. Below are the top 20 most common "Generating Distributed Programs from Event-B Models".
Generating Distributed Programs from Event-B Models
... work From previous experience, we illustrate how the refinement can improve and facilitate the verification process by relating state-based ...current programs in the coordination-based approach but we do ... Voir le document complet
37
About Probabilistic Event-B
... the Event-B [2] method that was proposed as an extension of the B method [3] to model parallel, distributed and reactive ...of Event-B to ensure the expression of probabilistic ... Voir le document complet
34
Generating test cases inside suspicious intervals for floating-point number programs
... applications, programs with floating-point computations are derived from mathematical models over the real ...different from calculations in an idealized semantics of the real ...differ ... Voir le document complet
6
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases
... their programs and check what type of consistency is required for maintaining invariants in their ...temporal, event-based parallel temporal logic (EPTL) that allows to specify weakly-consistent ... Voir le document complet
22
Automatic Refinement for Event-B through Annotated Patterns
... Then, from such a model Event-B machines are automatically ...executable models are produced in order to be deployed over a concurrent or distributed ...and Event-B ... Voir le document complet
5
Introducing Probabilistic Reasoning within Event-B
... probabilistic programs and the standard B method, and in [23, 20] in the context of non-deterministic Event-B models with only probabilistic as- ...translation from the ... Voir le document complet
53
Moving from Event-B to Probabilistic Event-B
... of Event-B to allow the expression of probabilistic information in Event-B ...the Event-B method: the B method ...probabilistic programs to be written and reasoned ... Voir le document complet
29
Model Extraction for Sockets-based Distributed Programs
... originated from a more general approach to utilize Spin for the verification of event driven distributive reactive systems [HS02], for example, to verify the alternating bit ...based, distributed ... Voir le document complet
9
Automatic Refinement for Event-B through Annotated Patterns
... Then, from such a model Event-B machines are automatically ...executable models are produced in order to be deployed over a concurrent or distributed ...and Event-B ... Voir le document complet
6
A Fully Probabilistic Extension of Event-B
... of Event-B where all non-deterministic choices are replaced with probabilis- tic ...the models. As a consequence, the probability of choosing an event among others in a given state can evolve ... Voir le document complet
18
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
... sequential event handlers, general results about conflict- serializability state that this problem is PSPACE-complete for a fixed number of threads [6, 15], and EXPSPACE-complete for an unbounded number of threads ... Voir le document complet
32
Finding Non-Terminating Executions in Distributed Asynchronous Programs
... message-passing programs with unordered buffers has two important ...programming models do not ensure messages are received in the order they are sent, others do; our unordered buffer model should be seen ... Voir le document complet
21
Pacemaker's Functional Behaviors in Event-B
... This refinement approach together with the RODIN tool supports an incremen- tal style of system development. We have presented the complete refinements in top down manner. We have started with the highest level ... Voir le document complet
29
Un processus de développement Event-B pour des applications distribuées
... Récemment, deux opérations ont été introduites dans Event-B : la composition et la décomposition [7]. Elles ont pour but d’introduire la notion de composant dans la démarche de raffinement. Ces deux ... Voir le document complet
8
Un processus de développement Event-B pour des applications distribuées
... couplage. Event-B est utilisée pour la spécifi- cation et la décomposition formelles des systèmes ...modèles Event-B traduisibles vers BIP : déterminisation d’actions et concrétisation des ... Voir le document complet
9
Formal modelling of ontologies within Event-B
... design models through an annotation mecha- nism. Event-B has been chosen as the ground formal modelling technique for all our ...as Event-B ... Voir le document complet
6
AA4MM coordination model and event-B specification
... Centre de recherche INRIA Paris – Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex Centre de recherche INRIA Rennes – Bretagne Atlantique : IRISA, Camp[r] ... Voir le document complet
23
Analyse de sécurité de systèmes autonomes: formalisation et évaluation en Event-B
... F IG . 1 – Architecture en couches du drone. ce fait, on déduit deux principales propriétés de sécurité à satisfaire, l’une étant qualitative, l’autre quantitative. La propriété de sécurité qualitative est ainsi ... Voir le document complet
15
Models, algorithms, and programs for phylogeny reconciliation
... Figure 6 The three reconciliations differ according to the number and kind of events, the different models allowing to optimize parsimony at different degrees. When transfers are considered, the above results show ... Voir le document complet
14
The invoice case study modelling in Event B
... the event B method? In the sequel, we refer to the original B method as classic B [ABR 96] and its event-based evolution as event ...The event B method [ABR 03a, ... Voir le document complet
28
Sujets connexes