Recon: Verifying file system consistency at runtime
Mop: an efficient and generic runtime verification framework