1 citations · 1 across the 1 of their papers we have counts for
1 paper
Jianyu Zhang, Long Zhang, Yixuan Wu +1
Formal Methods (FMs) are currently essential for verifying the safety and reliability of software systems. However, the specification writing in formal methods tends to be complex…