4 citations · 5 across the 8 of their papers we have counts for
1 paper · 1 filter
Yuwei Liu, Xinyi Wan, Yanhao Wang +3
Formal verification provides the highest assurance of software correctness and security, but its application to large-scale, evolving systems remains a major challenge. While large…