Wolf is a "push-button" model checker for concurrent C programs developed in IBM Haifa. It automatically generates both the model and the specification directly from the C code. Currently, Wolf uses BDD-based symbolic methods integrated with a guided search framework. According to our experiments, these methods complement explicit exploration methods of software model checking. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Barner, S., Glazberg, Z., & Rabinovitz, I. (2005). Wolf - Bug hunter for concurrent software using formal methods. In Lecture Notes in Computer Science (Vol. 3576, pp. 153–157). Springer Verlag. https://doi.org/10.1007/11513988_16
Mendeley helps you to discover research relevant for your work.