Skip to main content

Seven Comlab papers to be presented at TACAS 2010


The verification group at the Computing Laboratory will present 7 papers at the conference on tools and algorithms for the construction and analysis of systems (TACAS) this year. TACAS is one of the strongest venues in algorithmic verification. The papers range from software verification to the verification of probabilistic systems. We also congratulate Andrzej Murawski and Nikos Tzevelekos for their paper at FOSSACS, and Vijay D'Silva for his paper at ESOP, bringing the total number of ETAPS papers to 9.