PoMMaDe

swMATH37540MaRDI QIDQ53241FDOQ53241

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: PoMMaDe