28 citations · 62 across the 13 of their papers we have counts for
1 paper · 2 filters
Shaull Almagor, Udi Boker, Orna Kupferman
In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where o…