Quiescent Formal Checks (QFC) for Detecting Deep Design Bugs – Sooner and Faster

Author(s):
Somesh Mishra, Mayank, Kumar, Ketan Mishra, Anshul Jain, Bharath Varma Gottumukkala
Location:
India
Year:
2023
Type:
Paper
Format:
pdf