Using Model Checking To Find Serious File System Errors
This weekend, I fired up a Windows 10 VM image I hadn’t used for a while. Because they are essentially just files, virtual machine images tend to sit around, powered off, unless you need them. I use a standard Windows 10 starter template VM whenever I need a fresh machine. Open up the command prompt … Read more