Liveness Analysis for PBES accepted for ATVA
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.
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.