You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
111-112
Foreword
Improving the effectiveness of system verification Guest editors’ introduction to special section
Holger Hermanns and Jens Palsberg
113-129
TACAS 06
Efficient guided symbolic reachability using reachability expressions
Dina Thomas, Supratik Chakraborty and Paritosh Pandya
131-144
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s
Alex Groce and Rajeev Joshi
145-160
An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing
Atul Gupta and Pankaj Jalote
161-166
Formal Methods Letter
A negative result on depth-first net unfoldings
Javier Esparza, Pradeep Kanade and Stefan Schwoon
167-184
Regular Contribution
Improving state class constructions for CTL* model checking of time Petri nets
Rachid Hadjidj and Hanifa Boucheneb
185-203
ProB : an automated analysis toolset for the B method
Michael Leuschel and Michael Butler
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info