Stav dette: An AMBA−ARM7 Formal Verification Platform