Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software). (English) Zbl 1425.68268 Form. Methods Syst. Des. 54, No. 3, 279-335 (2019). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Sánchez} et al., Form. Methods Syst. Des. 54, No. 3, 279--335 (2019; Zbl 1425.68268) Full Text: DOI arXiv
Chalin, Patrice Are the logical foundations of verifying compiler prototypes matching user expectations? (English) Zbl 1121.68025 Formal Asp. Comput. 19, No. 2, 139-158 (2007). MSC: 68N20 PDFBibTeX XMLCite \textit{P. Chalin}, Formal Asp. Comput. 19, No. 2, 139--158 (2007; Zbl 1121.68025) Full Text: DOI