67 citations · 116 across the 15 of their papers we have counts for
1 paper · 1 filter
Johannes Faber, Carsten Ihlemann, Swen Jacobs +1
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica…