Formal verification: current use and future perspectives