WEBVTT

00:00:22 --> 00:03:17
Raising awareness for software verification

00:03:17 --> 00:06:07
Comparing software testing and software verification

00:06:07 --> 00:08:04
Fundamentals of Hoare logic

00:08:04 --> 00:10:47
Applying Hoare logic axioms

00:10:47 --> 00:11:38
Backward reasoning in formal proofs

00:11:38 --> 00:12:38
State of the art in software verification

00:12:38 --> 00:16:41
Verifying Java code with OpenJML

00:16:41 --> 99:59:59
Leveraging AI for code validation