1 citations · 1 across the 1 of their papers we have counts for
1 paper
Pedro Antonino, Augusto Sampaio, Jim Woodcock
Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analy…