Liveness Analysis for PBES accepted for ATVA

less than 1 minute read

We got word that our paper Liveness Analysis for Parameterised Boolean Equation Systems has been accepted for ATVA 2014! I will write up a blog post on the technique soon.

Updated: