Constitutes the refereed proceedings of the 16th International Conference on Tools & Algorithms for the Construction & Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory & Practice of Software.