Verifying CTL properties of infinite state systems by specializing constraint logic programs (0)

by F Fioravanti, A Pettorossi, M Proietti
Venue:University of Southampton, UK