This page shows all presentations of this author published in EasyChair Smart Slide.
Deciding Hyperproperties Combined with Functional Specifications
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch
Efficient Model Construction for Horn Logic with VLog: System Description
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste and David Carral