conver-old
conver-old copied to clipboard
pviotti
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
(this has been implemented in the [Scala version of Conver](https://github.com/pviotti/conver-scala))
Processes can't be more than the letter of the alphabet. Find a more scalable way to name processes.
The code that checks monotonicity of read and write of a given session is convoluted and probably buggy.
Implement a graph-based linearizability checker. (this has been implemented in the [Scala version of Conver](https://github.com/pviotti/conver-scala))