Lecture
Disasters, Successes, and Inductive Invariants
Related lectures (31)
Software Disasters and Successes: Verification Impact and Transition Systems
Explores software verification impact, disasters, successes, and transition systems.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
Software Correctness: Testing and Verification
Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.
Stainless Tutorial: Verification of Scala Code
Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.
Stochastic Hybrid Systems
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Universal Source Coding
Covers the Lempel-Ziv universal coding algorithm and invertible finite state machines in information theory.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Spelling Error Correction
Explores spelling error correction, including neologisms and borrowings, using edit distance and finite-state automata.
Mapping Functions and Surjections
Explores mapping functions, surjections, injective and surjective functions, and bijective functions.
Open Mapping Theorem
Explains the Open Mapping Theorem for holomorphic maps between Riemann surfaces.