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

Anything in here will be replaced on browsers that support the canvas element