A survey of challenges for runtime verification from advanced application domains (beyond software)

Open access funding provided by University of Gothenburg. This research has been supported by the European ICT COST Action IC1402 Runtime Verification beyond Monitoring (ARVI).

Bibliographic Details
Main Author: Sánchez, César (author)
Other Authors: Schneider, Gerardo (author), Ahrendt, Wolfgang (author), Bartocci, Ezio (author), Bianculli, Domenico (author), Colombo, Christian (author), Falcone, Yliès (author), Francalanza, Adrian (author), Krstić, Srđan (author), Lourenço, Joa̋o M. (author), Nickovic, Dejan (author), Pace, Gordon J. (author), Rufino, José (author), Signoles, Julien (author), Traytel, Dmitriy (author), Weiss, Alexander (author)
Format: article
Language:eng
Published: 2021
Subjects:
Computer science
Formal methods
Formal verification
Runtime verification
Software
Theoretical Computer Science
Hardware and Architecture
Online Access:http://hdl.handle.net/10362/118499
Country:Portugal
Oai:oai:run.unl.pt:10362/118499

Internet

http://hdl.handle.net/10362/118499

Similar Items