pkoerner cases
  • Home
  • Archives
  • Teaching
  • My Publications
  • RSS

Posts Tagged "teaching"

  • Increasing Student Self-Reliance and Engagement in Model-Checking Courses
  • Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
  • Experience Report on an Inquiry-Based Course on Model Checking

Profiles

Google Scholar logo GitHub logo

Pages

Recent Posts

  • A case for data-oriented specifications: simpler implementation of B tools and DSLs
  • Bi-Directional DSL Transformation Using miniKanren
  • Runtime Evaluation of Prolog Data Structures

Tags

  • publications
  • tools
  • case study
  • Code Generation
  • Evaluation
  • types
  • model checking
  • modelling
  • constraint solving
  • C
  • Survey
  • B
  • Clojure
  • Prolog
  • teaching
  • lisb
  • miniKanren
  • Model Checking
  • ProB
  • LTSmin
  • Java
  • survey
Copyright © 2025 pkoerner

Powered by Cryogen