p4v

MaRDI QIDQ5972378swMATHFDO

Official website https://www.cs.cornell.edu/~jnfoster/papers/p4v.pdf

Cited in

(8)

• Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities
• VeriFlow
• Anteater
• DyNetiKAT
• Ansible
• LWeb
• Rehearsal
• Terraform

This page was built for software: p4v