Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-25379-9_16 | CPP |
Keywords | Field | DocType |
formal method,mechanized provers,teaching material,mechanized theorem,teaching experience,traditional introductory course | Intuitionistic logic,Programming language,Syllabus,Computer science,Automated theorem proving,Algorithm,Propositional calculus,Modal logic,Formal methods,Predicate logic | Conference |
Citations | PageRank | References |
3 | 0.41 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Henz | 1 | 162 | 21.48 |
Aquinas Hobor | 2 | 243 | 17.42 |