2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Qian Cheng, Ruize Tang, Emilie Ma +7
Formal models are essential to specifying large, complex computer systems and verifying their correctness, but are notoriously expensive to write and maintain. Recent advances in g…