Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs (2001)

by F Fioravanti, A Pettorossi, M Proietti
Venue:Proceedings of the Second International Workshop on Verification and Computational Logic, VCL’2001