Preface by the section editor Susanne Graf Special section on tools and algorithms for the construction and analysis of systems Pages: 139 - 141
Using static analysis to improve automatic test generation Marius BozgaJean-Claude FernandezLucian Ghirvu Special section on tools and algorithms for the construction and analysis of systems Pages: 142 - 152
A tool for model-checking Markov chains Holger HermannsJoost-Pieter KatoenMarkus Siegle Special section on tools and algorithms for the analysis of systems Pages: 153 - 172
Efficient verification of security protocols using partial-order reductions Edmund ClarkeSomesh JhaWill Marrero Special section on tools and algorithms for the construction and analysis of systems Pages: 173 - 188
The PROSPER toolkit Louise A. DennisGraham CollinsThomas F. Melham Special section on tools and algorithms for the analysis of systems Pages: 189 - 210
A systematic incrementalization technique and its application to hardware design Steven D. JohnsonYanhong A. LiuYuchen Zhang Regular contribution Pages: 211 - 223
Vacuity detection in temporal model checking Orna KupfermanMoshe Y. Vardi Regular contribution Pages: 224 - 233
Comparison of SPIN and VIS for protocol verification Hong PengSofiène TaharFerhat Khendek Regular contribution Pages: 234 - 245