High assurance technologies | ACM SIGSOFT Software Engineering Notes | DeepDyve