ProB: A model checker for B (2003)

by Michael Leuschel, Michael Butler
Venue:In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, LNCS 2805