Knowledge-based verification: is it state-of-the-art?