Results 11 to 20 of about 4,913 (260)
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems.
Wolfgang Ahrendt +2 more
doaj +1 more source
Detecting Architectural Erosion using Runtime Verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions.
Diego Marmsoler, Ana Petrovska
doaj +1 more source
On Distributed Runtime Verification by Aggregate Computing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications.
Giorgio Audrito +3 more
doaj +1 more source
Runtime verification: the application perspective [PDF]
International Journal on Software Tools for Technology Transfer, 2012 In the past decade, Runtime Verification (RV) has gained much focus, from both the research community and practitioners. RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems' executions and guaranteeing their correctness using monitoring techniques.
Falcone, Yliès, Zuck, Lenore
openaire +4 more sources
Multiparty Session Actors [PDF]
Logical Methods in Computer Science, 2017 Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs.
Rumyana Neykova, Nobuko Yoshida
doaj +1 more source
Introduction to Runtime Verification [PDF]
, 2018 The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and ...
Bartocci, Ezio +3 more
openaire +3 more sources
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model.
Davide Ancona +5 more
doaj +1 more source
Uncertainty in runtime verification: A survey
Computer Science Review, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rania Taleb +2 more
openaire +3 more sources
Improving Runtime Overheads for detectEr [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs.
Ian Cassar +2 more
doaj +1 more source
Interactive Runtime Verification
CoRR, 2017 Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs and fix them, inspecting interactively its internal state.
Raphaël Jakse +3 more
openaire +2 more sources