Name: An introduction to verification using automated reasoning
Start: 2023-08-31T18:00:00-07:00
End: 2023-08-31T19:30:00-07:00

Having software free of bugs is crucial for many areas, such as safety-critical systems or systems handling finances. Formal verification offers methods providing guarantees of program reliability or safety. To automatically verify such program properties, a common approach is to translate the property into a logical formula, and then employ automated reasoning tools to check if the formula holds. I will give an overview of how this approach works under the hood, and cover the basics of two directions in the field of automated reasoning: saturation-based theorem proving and SMT solving.

Anupama

Women in Compilers and Tools Meetup Series

LLVM Project

Technology

Open Source

Web Design

Web Technology

Web Development

Mobile Development

Software Development

Women's Business Networking

Professional Women

Computer Programming

Petra Hozzova is a PhD student at TU Wien, Austria, and a research intern at Microsoft Research. She also previously did an internship at the smart contract verification company Certora. Before starting her PhD, she worked as a software engineer at Google. In her research, she focuses on automated reasoning, with the specific goals of extending it with induction and using it for program synthesis.

Women in Compilers and Tools Meetup Series

An introduction to verification using automated reasoning

Women in Compilers and Tools Meetup Series

Details

Members are also interested in