12 citations · 30 across the 4 of their papers we have counts for
1 paper · 1 filter
Rémi Garcia, Paolo Modesti
To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or…