Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Sarah Chabane; Rabéa Ameur-Boulifa; Mohamed Mezghiche

Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Sarah Chabane Rabéa Ameur-Boulifa ^{1, 2} Mohamed Mezghiche

1 LabSoC - System on Chip

LTCI - Laboratoire Traitement et Communication de l'Information

2 COMELEC - Département Communications & Electronique

Document type :

Conference papers

Domain :

Computer Science [cs] / Symbolic Computation [cs.SC]

Computer Science [cs] / Embedded Systems

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadatas

https://hal-imt.archives-ouvertes.fr/hal-01666413
Contributor : Admin Télécom Paristech <>
Submitted on : Monday, December 18, 2017 - 12:45:47 PM
Last modification on : Thursday, October 17, 2019 - 12:37:00 PM

Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Identifiers

Collections

Citation

Export

Metrics

127

Contact

Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Identifiers

Collections

Citation

Export

Share

Metrics

127

Contact