2004peer-reviewed3,337 citations
A Temporal Logic of Nested Calls and Returns
Rajeev Alur, Kousha Etessami, P. Madhusudan
Lecture notes in computer science
Concepts
CorrectnessModel checkingTemporal logicComputer scienceLinear temporal logicDecidabilityUndecidable problemTheoretical computer science