Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

Adja Ndeye Sylla, Karine Guillouard, Frdric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani

Browse the full CNSM paper archive.