1 Hit in 5.6 sec

Improving Reachability Analysis of Infinite State Systems by Specialization [chapter]

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011 Lecture Notes in Computer Science  
We propose a method based on program specialization, which improves the effectiveness of the backward and forward reachability analyses.  ...  We consider infinite state reactive systems specified by using linear constraints over the integers, and we address the problem of verifying safety properties of these systems by applying reachability  ...  Thanks to Laurent Fribourg and John Gallagher for many stimulating conversations about the topics of this paper. Many thanks to the anonymous referees for constructive comments.  ... 
doi:10.1007/978-3-642-24288-5_15 fatcat:c4f7eivaevailgoguwoayydovq