7 citations · 12 across the 9 of their papers we have counts for
1 paper · 1 filter
Geoff Hamilton
We show how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. In particular, we show how the program tr…