Authors

Philipp Körner

Venue

Dissertation at HHU Düsseldorf

Bibtex

@phdthesis{koerner23phdthesis,
  author       = {Philipp K{\"{o}}rner},
  title        = {On Executing State-Based Specifications and Partial Order Reduction
                  for High-Level Formalisms},
  school       = {Heinrich-Heine-Universit{\"{a}}t, D{\"{u}}sseldorf, Germany},
  year         = {2023}
}

Available at:

• DocServ HHU

About

Related

• Integrating formal specifications into applications: the ProB Java API - Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
• A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System - Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
• An Embedding of B in Clojure - Philipp Körner, Florian Mager
• Towards a Shared Specification Repository - Philipp Körner, Michael Leuschel, Jannik Dunkelau
• Towards Practical Partial Order Reduction for High-Level Formalisms - Philipp Körner, Michael Leuschel