Toggle navigation
pkoerner cases
Home
Archives
Teaching
My Publications
RSS
Posts Tagged "reflection"
The Quest for Model Checking Performance
Profiles
Pages
Recent Posts
The Quest for Model Checking Performance
How to Write a Thesis: Things to Consider and Avoid
A case for data-oriented specifications: simpler implementation of B tools and DSLs
Tags
thesis
university
publications
tools
case study
Code Generation
Evaluation
types
model checking
modelling
constraint solving
C
Survey
B
Clojure
Prolog
teaching
reflection
lisb
miniKanren
Model Checking
experience report
ProB
LTSmin
Java
survey
