• Aucun résultat trouvé

Automated Verification of Asynchronous Communicating Systems with TLA+

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Automated Verification of Asynchronous Communicating Systems with TLA+"

Copied!
16
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Table 1: Communication Models Description Model Specification Intuitive Implementation M async Fully asynchronous
Figure 1: Main Steps Performed by the Framework
Figure 2: Generated TLA + Module: a! / / b! / / Composed with a? / /
Figure 3: TLA + Module Associated to the Causal Communication Model
+4

Références

Télécharger maintenant ( PDF - 16 Page - 250.69 KB )

Documents relatifs