1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Jilin Hu, Jianyu Zhang, Yongwang Zhao +1
Formal methods play a crucial role in ensuring the reliability of critical systems through rigorous mathematical verification. However, their adoption remains limited due to the la…