Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Recent

Recent

  1. Liveness Verification and Synthesis: New Algorithms for Recursive Programs, by Roland Meyer, Sebastian Muskalla, and Elisabeth Neumann.

    arXiv

  2. Fast Witness Counting, by Peter Chini, Rehab Massoud, Roland Meyer, and Prakash Saivasan.

    arXiv

  3. Munchausen Iteration, by Roland Meyer and Sebastian Muskalla.

    arXiv

  4. BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings, by Natalia Gavrilenko, Hernan Ponce-de-Leon, Florian Furbach, Keijo Heljanko, and Roland Meyer.

    PDF | Project Page | CAV 2019

  5. Liveness in Broadcast Networks, by Peter Chini, Roland Meyer, and Prakash Saivasan.

    NETYS 2019 | arXiv