1.5k citations · 1.7k across the 14 of their papers we have counts for
1 paper · 1 filter
Marc Brockschmidt, Byron Cook, Samin Ishtiaq +2
We present the open-source tool T2, the first public release from the TERMINATOR project. T2 has been extended over the past decade to support automatic temporal-logic proving tech…