PoMMaDe

MaRDI QIDQ53241swMATHFDO

Official website https://dl.acm.org/doi/10.1145/2491411.2494599

Cited in

(4)

• HSF
• YASM
• Formal logical language to set requirements for secure code execution
• Efficient CTL verification via Horn constraints solving

This page was built for software: PoMMaDe