Proving Liveness of Parameterized Programs - Farzan, Azadeh; Kincaid, Zachary; Podelski, Andreas (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016)
Keywords: General and reference; General and reference -- Cross-computing tools and techniques; General and reference -- Cross-computing tools and techniques -- Verification; Software and its engineering; Software and its engineering -- Software creation and management; Software and its engineering -- Software creation and management -- Software development process management; Software and its engineering -- Software creation and management -- Software verification and validation; Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification; Software and its engineering -- Software organization and properties; Software and its engineering -- Software organization and properties -- Software functional properties; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Software verification; Theory of computation; Theory of computation -- Logic; Theory of computation -- Logic -- Proof theory; Theory of computation -- Semantics and reasoning; Theory of computation -- Semantics and reasoning -- Program reasoning; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification