Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics

James Li, Noam Zilberstein, Alexandra Silva

While there is a long tradition of reasoning about (non)termination in program analysis, specialized logics are typically needed to give different termination criteria. This includ…