10 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Jinhua Wu, Yuting Wang, Liukun Yu +1
Program safety (i.e., absence of undefined behaviors) is critical for correct operation of computer systems. It is usually verified at the source level (e.g., by separation logics)…