Checking that finite-state concurrent programs satisfy their linear specifications (1985)

by O Lichtenstein, A Pnueli
Venue:In Proc. 13th ACM Symp. on Principles of Programming Languages