Login / Signup

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.

Miguel Alexandre FerreiraJosé Nuno Oliveira
Published in: SBMF (2009)
Keyphrases
  • file system
  • formal methods
  • artificial intelligence
  • formal model
  • formal specification language
  • database
  • information systems