Classifying properties: an alternative to the safety-liveness classification, in (2000)

by G Naumovich, L A Clarke
Venue:Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2000/FSE-8), ACM