Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz. UPEC-PN: Exhaustive constant time verification of low-level software using property checking. In Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2023, 26th Workshop, Freiburg, Germany, 23-24 March 2023. pages 1-8, VDE/IEEE, 2023. [doi]
Abstract is missing.