HILT 2013             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Underlying Formal Verification Technologies

Panel Moderator: Tucker Taft (AdaCore)

Panelists:

Prof. Robby
Nikolaj Bjorner
Francesco Logozzo
Sagar Chaki

Abstract

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


Created on 29 May 2014;  website comments and corrections to ClydeRoby at ACM.Org