High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Approaches to Software Safety and Security

Panel Moderator: Alok Srivastava (TASC Inc.)

Abstract

Topics to be covered: Secure Coding, Use of Domain-Specific Languages, Integrating technologies for verification, Using contract-based programming tools, Automatic versus Interactive Program Verification.