Wolf

MaRDI QIDQ14039swMATHFDO

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