As part of our CAVA project, one student looked at using the Linux Driver Verification tool in Docker in combination with SeaHorn — LDV with Docker.
As part of our CAVA project, one student looked at using the Linux Driver Verification tool in Docker in combination with SeaHorn — LDV with Docker.