Formal methods constitute a suite of mathematically based techniques that are employed to specify, develop, and verify software systems with a high degree of rigour. These techniques aim to transform ...

As the sophistication of embedded software systems escalates, the need for greater safety and security for these applications must keep pace. As autonomous systems, connected devices, and ...

Gabriela Moreira, CEO of Quint at Informal Systems, is a research engineer specializing in programming languages and formal ...