“A la Floyd” induction principles for proving inevitability

Inductive definitions, semantics and abstract interpretations

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Verification of Embedded Software: Problems and Perspectives

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

Region stability proofs for hybrid systems

FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems

An abstract interpretation framework for termination

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

A new look at the automatic synthesis of linear ranking functions

Information and Computation