20 citations · 42 across the 6 of their papers we have counts for
1 paper · 1 filter
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are const…