2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Daniel Larraz, Mickaël Laurent, Cesare Tinelli
We introduce two new major features of the open-source model checker Kind 2 which provide traceability information between specification and design elements such as assumptions, gu…