KingdomReach · Content Intelligence

Top Videos from Verification Corner

Content channel

Ranked by total public view count. Top 13 of this channel's videos we track · public YouTube data only, nothing fabricated.
  1. 1Loop invariants37.3K views
  2. 2Basics of specification and verification: Lecture 0, Pre- and postconditions13.9K views
  3. 3Basics of specification and verification: Lecture 1, loop invariants12.2K views
  4. 4Basics of specification and verification: Lecture 3, the Dutch National Flag algorithm8.3K views
  5. 5Modeling, refinement, and verification7.0K views
  6. 6Basics of specification and verification: Lecture 2, binary search5.5K views
  7. 7Writing inductive proofs about programs that operate on trees4.6K views
  8. 8Stepwise refinement3.5K views
  9. 9Loop termination3.2K views
  10. 10Using ghost variables and lemmas in a program verification2.5K views
  11. 11Concurrent programming in Chalice972 views
  12. 12Partial solutions, and comprehensions766 views
  13. 13Specifications in Action - The Chunker729 views