execution_faults_in_Ansible

conference contribution

posted on 2025-04-17, 08:42 authored by Wan Syun ChengWan Syun Cheng

The artifact contains data and Coq implmentation used to generate results reported in the paper. We used data from the Ansible github repository.

History

Usage metrics

Categories

Formal methods for software

Keywords

Ansible Formal Verification Infrastructure as Code

Licence

Exports