Wolf

swMATH1299MaRDI QIDQ14039FDOQ14039

Author name not available (Why is that?)

Official website: https://www.research.ibm.com/haifa/projects/verification/RB_Homepage/ps/wolf.pdf

Described by source

• Computer Aided Verification

Cited In (1)

• Scaling model checking of dataraces using dynamic information

This page was built for software: Wolf