Pioneering Software Formal Verification Methodology for Firmware

Author(s):
Disha Puri, Sparsa Roychowdhury, Sudipa Mandal
Location:
India
Year:
2024
Type:
Paper
Format:
pdf