Proving That Programs Eventually Do Something Good (2007)

by Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y Vardi
Venue:In Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’07