8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
Adrià Gascón, Ashish Tiwari
With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made en…