| Hi, you are logged in as , if you are not , please click hereYou are shopping as , if this is not your email, please click hereShort CoursesDescriptionAssured Software Engineering and Proof (ASEP) teaches participants state-of-the-art techniques in assured development using model-based engineering and formal methods. These techniques are essential for development of safety- and security-critical systems including, for example, mobile and autonomous robots, which is a particular research focus at York. The importance of formal methods is reflected by their inclusion in several international standards, such as DO-178C for aerospace applications. |