Toggle navigation
pkoerner cases
Home
Archives
Teaching
My Publications
Skills
RSS
Posts Tagged "Model Checking"
Distributed Model Checking Using ProB
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
