To develop new hardware for vehicles

To create software with provable security properties

To train pilots for autonomous vehicles

To design new types of helicopters

Proving properties for very small codebases

Proving properties for large codebases

Developing software for mobile devices

Creating user-friendly interfaces

New programming languages

Advances in research areas allowing proofs for larger codebases

Better hardware for testing

Increased funding for projects

They allow for faster software execution

They provide a secure foundation for complex systems

They ensure the entire system is functionally correct

They reduce the cost of software development

To control the helicopter's flight path

To create software partitions for different functions

To operate the helicopter's camera

To manage the helicopter's fuel efficiency