1 paper
Mihir Parang Mehta
In this work, we present an approach towards constructing executable specifications of existing filesystems and verifying their functional properties in a theorem proving environme…