Formal Methods: State of the Art and New Directions