An automata-theoretic approach to automatic program veri (1986)

by M Vardi, P Wolper
Venue:In Proceedings of the First Annual Symposium on Logic in Computer Science (LICS