Calendar

Posts organized

by date.

August 2020

Mon Tue Wed Thu Fri Sat Sun

1

2

3

4

5

6

7

8 The Algorithmic Methodology Of Coq Proof Assistant: Inductive Types, Tactics, And Extraction To Ocaml

9 Implementing A Small Theorem Prover For Propositional Logic Using The Dpll Algorithm With Conflict Driven Clause Learning

10 The Formal Verification Of A Concurrent Work Queue Using The Tla+ Model Checker: Invariants And Liveness

11

12

13

14

15

16

17 Merkle Trees and Content‑Addressable Storage

18

19

20

21

22

23

24

25

26

27

28 A Proof Of Correctness For The Lamport’S Bakery Algorithm In Distributed Shared Memory Systems

29

30

31