- Mar 12, 2018
-
-
Dan Frumin authoredThe specification for ticket lock is proven using the atomic specification for the increment operation.
-
- Feb 02, 2018
-
-
Dan Frumin authored
+ deriving sequential specification from log. atomic one
-
- Dec 18, 2017
- Dec 13, 2017
- Nov 29, 2017
-
-
Ralf Jung authored
-
- Nov 28, 2017
-
-
Ralf Jung authored
-
- Nov 22, 2017
-
-
-
Ralf Jung authored
-
- Nov 19, 2017
-
-
Ralf Jung authored
-
- Nov 11, 2017
-
-
Ralf Jung authored
-
- Nov 03, 2017
-
-
Ralf Jung authored
-
- Oct 29, 2017
- Oct 19, 2017
- Oct 18, 2017
- Oct 10, 2017
-
-
Ralf Jung authored
-
- Oct 07, 2017
-
-
Ralf Jung authored
-
- Sep 28, 2017
-
-
Ralf Jung authored
-
- Sep 27, 2017
-
-
Ralf Jung authored
-
- Sep 22, 2017
- Aug 22, 2017
- Jul 31, 2017
-
-
Joshua Yanovski authored
-
- Mar 17, 2017
- Jan 10, 2017
