Gerard Holzmann

Latest

• Metis: File System Model Checking via Versatile Input and State Exploration
• Model-Checking Support for File System Development