2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Daniel Larraz, Cesare Tinelli
We present a new feature of the open-source model checker Kind 2 which checks whether a component contract is realizable; i.e., it is possible to construct a component such that fo…