Powerful Techniques for the Automatic Generation of Invariants (1996)

by S Bensalem, Y Lakhnech, H Saïdi
Venue:Proc. CAV’96 - 8th Intl Conference on Computer-Aided Verification, LNCS 1102