1. Tools for software verification

   • Parosh Aziz Abdulla
   • K. Rustan M. Leino

   Introduction 03 March 2013 Pages: 85 - 88

2. CADP 2011: a toolbox for the construction and analysis of distributed processes

   • Hubert Garavel
   • Frédéric Lang
   • Wendelin Serwe

   TACAS 2011 30 June 2012 Pages: 89 - 107

3. Büchi Store: an open repository of \(\omega \)-automata

   • Yih-Kuen Tsay
   • Ming-Hsien Tsai
   • Chi-Shiang Liu

   TACAS 2011 03 February 2013 Pages: 109 - 123

   

4. Model-checking web services business activity protocols

   • Abinoam P. Marques Jr.
   • Anders P. Ravn
   • Saleem Vighio

   TACAS 2011 13 April 2012 Pages: 125 - 147