54 citations · 95 across the 24 of their papers we have counts for
1 paper · 1 filter
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…