Requirements-based Code Model Checking

Ulrich Schöpp, Andreas Schweiger, Marina Reich, Tatiana Chuprina, Levi Lúcio und Hartmut Brüning

IEEE Workshop on Formal Requirements (FORMREQ2020),

August 2020 · DOI: 10.1109/FORMREQ51202.2020.00011