Title: Formal verification of basic memory devices