"Boring formal methods" or "Sherlock Holmes deduction methods"?

Maria Spichkova

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050:…