Wolf -- bug hunter for concurrent software using formal methods 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
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Shacham, Ohad; Sagiv, Mooly; Schuster, Assaf: Scaling model checking of dataraces using dynamic information (2007)
- Barner, Sharon; Glazberg, Ziv; Rabinovitz, Ishai: Wolf -- bug hunter for concurrent software using formal methods (2005)