High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Much of our focus on safety-critical software has been on ensuring that the software implements the requirements. Is this enough? In the talk I will suggest some other goals that we need to consider for our software in order to avoid losses and some potential approaches for achieving them.