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 transformation technique distillation can be used to transform reactive systems specified in...
View more

[5] Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti (2001): Verification of Sets of Infinite State Processes Using Program Transformation. In: 11th International Workshop on Logic Based Program Synthesis and Transformation, pp. 111-128 doi:10.1007/3-540-45607-4 7.