Hi, you are logged in as , if you are not , please click here
You are shopping as , if this is not your email, please click here

Short Courses

Short Courses

Assured Software Engineering and Proof (ASEP)

Assured Software Engineering and Proof (ASEP)

Description

Assured 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.

StartEndCourse Fee 
08/09/202512/09/2025[Read More]