Improving Reachability Analysis of Infinite State Systems by Specialization
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni · Fundamenta Informaticae · 2012
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 analysis techniques. We propose a method based on