48 citations · 362 across the 28 of their papers we have counts for
1 paper · 2 filters
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…