129 citations · 153 across the 17 of their papers we have counts for
1 paper · 1 filter
Pascal Berrang, Mirco Giacobbe, Jacob Swales +1
We introduce a technology to formally verify that a software system satisfies a temporal specification of functional correctness, without revealing the system itself. Our method co…