Formal verification

Related lectures (30)

Page 1 of 3

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.

Covers timing and performance analysis using model checking and multiple objective scheduling.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.