Specialization-based Analysis of Infinite State Transition Systems

1. Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation . In: Proceedings of the 20^th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, Lecture Notes in Computer Science Vol. 6564, pp. 164-183, Springer, 2011.

2. Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. Accepted for publication in Theory and Practice of Logic Programming, to appear.

3. Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Improving Reachability Analysis of Infinite State Systems by Specialization. In: G. Delzanno and I. Potapov (Eds.), Proceedings of the 5th workshop on Reachability Problems RP 2011, September 28-30, 2011, Genova, Italy, Lecture Notes in Computer Science 6945, Springer 2011. (to appear)

4. Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Using Real Relaxations During Program Specialization. Accepted at 21st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011, to appear in Lecture Notes in Computer Science, Springer.