Browse by Author Danziger, Armin
Showing results 1 to 3 of 3
Preview | Issue Date | Title | Author(s) | Editor(s) |
 | Sep-2019 | Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization) | Berg, Nils; Bartels, Björn; Danziger, Armin; Grochau Azzi, Guilherme; Bentert, Matthias | - |
 | 11-Oct-2018 | Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages | Berg, Nils; Göthel, Thomas; Danziger, Armin; Glesner, Sabine | - |
 | 2020 | Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages | Berg, Nils; Göthel, Thomas; Danziger, Armin; Glesner, Sabine | - |