Treffer: Contextualizing Formal Verification for Systems Security Engineering
Title:
Contextualizing Formal Verification for Systems Security Engineering
Authors:
Source:
IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 23(2):32-41 Apr, 2025
Database:
IEEE Xplore Digital Library