1 paper · 1 filter
Elizabeth Dietrich
Creating safe concurrent algorithms is challenging and error-prone. For this reason, a formal verification framework is necessary especially when those concurrent algorithms are us…