Lectures related to Specification and Verification of a Blockchain Light Client

Compiler verification: Challenges and Benefits

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Stochastic Hybrid Systems

Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.

Software Quality: Stop Worrying, Love the Tests

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.

Decentralized Systems: Byzantine Consensus and Bitcoin

Explores Byzantine consensus in decentralized systems and Bitcoin's consensus mechanisms.

Disasters, Successes, and Inductive Invariants

Explores software disasters, successful verifications, transition systems, and invariants in systems.

Software Engineering Essentials

Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.