TY - GEN
T1 - Formal framework for automated analysis and verification of distributed reactive applications
AU - Chabane, Sarah
AU - Ameur-Boulifa, Rabea
AU - Mezghiche, Mohamed
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/7/2
Y1 - 2017/7/2
N2 - As applications become more and more complex, concurrency and communication play increasingly important roles in the design process. In particular, highly distributed applications demand truly scalable communication architectures. There is a real need for reliability and constructivity in the design of such systems. The use of a bottom-up strategy, supported by abstraction and proofs, allows scalable modeling and verification of behavioral properties, and facilitates the derivation of robust systems. The purpose of our research is to produce scalable solutions facilitating the systematic design of complex, reactive, and distributed systems that are guaranteed correct by construction.
AB - As applications become more and more complex, concurrency and communication play increasingly important roles in the design process. In particular, highly distributed applications demand truly scalable communication architectures. There is a real need for reliability and constructivity in the design of such systems. The use of a bottom-up strategy, supported by abstraction and proofs, allows scalable modeling and verification of behavioral properties, and facilitates the derivation of robust systems. The purpose of our research is to produce scalable solutions facilitating the systematic design of complex, reactive, and distributed systems that are guaranteed correct by construction.
U2 - 10.1109/EDIS.2017.8284026
DO - 10.1109/EDIS.2017.8284026
M3 - Conference contribution
AN - SCOPUS:85050383362
T3 - Proceedings of EDIS 2017 - 1st International Conference on Embedded and Distributed Systems
SP - 1
EP - 6
BT - Proceedings of EDIS 2017 - 1st International Conference on Embedded and Distributed Systems
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1st International Conference on Embedded and Distributed Systems, EDIS 2017
Y2 - 17 December 2017 through 18 December 2017
ER -