AgileFormal

With COVID-19 situation and the Work From Home as a new normal, the usage of online services is at an all time high, with cyber security threats following the same trend, exploiting software systems bugs and malfunctions, risking our economic security and trust in those services, with a large impact in society at large.

The AgileFormal project - Agile methodologies for formal specification, verification and validation of software for critical systems, brings formal methods to have mathematically proved correct and bug-free software by design.

The benefits of formal proofs can come to the day-to-day software developer, increasing the efficiency of the work performed, as well as, a massive cost reduction on issue handling and bug fixing of software products after they are shipping to the end user.

Data privacy, economic security (i.e. safe e-commerce, online collaboration tools) and the ability to save-lives on the autonomous vehicle (i.e. self-driving cars, buses, trains, drones, aircraft autopilots), as well as, the reduction of data breaches, and software malfunctions (like reduction of car crashes and the development of the autonomous vehicles field) bring a large economical and societal benefits, specially in a post pandemic world.