High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Underlying Formal Verification Technologies

Panel Moderator: Tucker Taft (AdaCore)

Abstract

Topics to be covered: Coq-based Proofs, SMT Solvers, Inferring contracts with Abstract Interpretation, Bounded Model Checking.