48 citations · 362 across the 28 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2014★ 19 cited
Parameterized Synthesis Case Study: AMBA AHB (extended version)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov
We revisit the AMBA AHB case study that has been used as a benchmark for several reactive syn- thesis tools. Synthesizing AMBA AHB implementations that can serve a large number of…
cs.SE2010★ 14 cited
Automatic Verification of Parametric Specifications with Complex Topologies
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…