VirtualTam's bookmarks

  1. Finding the “Second Bug” in glibc’s Condition Variable
    2022-09-20
    concurrency/threading formal-specification/tla+ programming/c programming/ocaml
    Permalink
  2. Learn TLA+ - Temporal Logic of Actions
    2022-07-04
    book formal-specification/tla+
    Permalink
  3. Fixing a MongoDB Replication Protocol Bug with TLA+ - William Schultz
    2022-05-31
    database/mongodb distributed distributed-system/cluster formal-specification/tla+ protocol
    Permalink