@inproceedings{sylla:hal-02375386, TITLE = {{Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat}}, AUTHOR = {Sylla, Adja Ndeye and Guillouard, Karine and Klamm, Fr{\'e}d{\'e}ric and Ouzzif, Meryem and Merle, Philippe and Ben Rayana, Souha and Stefani, Jean-Bernard}, URL = {https://inria.hal.science/hal-02375386}, BOOKTITLE = {{CNSM 2019 - 15th International Conference on Network and Service Management}}, ADDRESS = {Halifax, Canada}, EDITOR = {IEEE}, SERIES = {Proccedings of 15th International Conference on Network and Service Management (CNSM)}, PAGES = {1-5}, YEAR = {2019}, MONTH = Oct, DOI = {10.23919/CNSM46954.2019.9012739}, KEYWORDS = {Formal verification ; OpenStack ; Heat ; NFV}, PDF = {https://inria.hal.science/hal-02375386/file/Formal%20Verification%20of%20Orchestration%20Templates%20for%20Reliable%20Deployment%20with%20OpenStack%20Heat.pdf}, HAL_ID = {hal-02375386}, HAL_VERSION = {v1}, }