High Confidence Software technologiesдоклад на конференции