1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Matteo Capucci, David Jaz Myers
Assume-guarantee reasoning is a technique for compositional model checking in which system specifications are checked under certain assumptions on system parameters or inputs, and…