Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : 8th European joint conference [i.e. conferences] on theory and practice of software : Apr 2005, Edinburgh, UK.