Vertaling van "PlusCal-2" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Dans ce mémoire nous présentons le langage PlusCal-2 qui vise à allier la simplicité de pseudo-code à la capacité d'être vérifié formellement.
In this thesis, we present PlusCal-2 that aims at be- ing similar to pseudo-code while being formally verifiable.
Pour calculer la dépendance conditionnelle pour les algorithmes en PlusCal-2 nous exploitons des informations sur la localité des actions et nous générons des prédicats d'indépendance.
To compute conditional dependency for PlusCal-2 algorithms, we exploit their locality information and present them in the form of independence predicates.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
Pour calculer la dépendance conditionnelle pour les algorithmes en PlusCal-2 nous exploitons des informations sur la localité des actions et nous générons des prédicats d'indépendance.
To compute conditional dependency for PlusCal-2 algorithms, we exploit their locality information and present them in the form of independence predicates.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
