13 citations · 20 across the 9 of their papers we have counts for
1 paper · 1 filter
Changjie Wang, Mariano Scazzariello, Anoud Alshnakat +3
Formal verification is increasingly recognized as a critical foundation for building reliable software systems. However, the need for specialized expertise to write precise specifi…