Recent Posts

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 t...

More Supersoftware

less than 1 minute read

The article that appeared in NWT Magazine in 2012 (see this post has been reprinted as Supersoftware, De Ingenieur, nr. 19, 22 November 2012, p. 24-29.

Felienne’s Open Letter to NWO

less than 1 minute read

Check out this Open Letter to NWO in which Felienne points out the absurdity of the grant application deadline for the Innovational Research Incentives Schem...