High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.
Event
HILT 2018
Boston, Massachusetts, USA Nov 5-6, 2018
ACM SIGAda’s High Integrity Language Technology International Workshop on Cyber-Security Interaction with High Integrity
