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

3 points | by mooreds 9 hours ago