20 citations · 43 across the 10 of their papers we have counts for
1 paper · 1 filter
Eytan Singher, Shachar Itzhaky
Recent years have seen tremendous growth in the amount of verified software. Proofs for complex properties can now be achieved using higher-order theories and calculi. Complex prop…