11 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan +3
Various verification techniques for temporal properties transform temporal verification to safety verification. For infinite-state systems, these transformations are inherently imp…