Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Mathematical logic for computer science
Mathematical logic for computer science
Dynamic Logic
Scheduling a Major College Basketball Conference
Operations Research
MulVAL: a logic-based network security analyzer
SSYM'05 Proceedings of the 14th conference on USENIX Security Symposium - Volume 14
User Interaction with the Matita Proof Assistant
Journal of Automated Reasoning
SASyLF: an educational proof assistant for language theory
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Hi-index | 0.00 |
During the past three years we have been integrating mechanized theorem proving into a traditional introductory course on formal methods. We explain our goals for adding mechanized provers to the course, and illustrate how we have integrated the provers into our syllabus to meet those goals. We also document some of the teaching materials we have developed for the course to date, and what our experiences have been like.