JOURNAL ARTICLE
Runtime Verification of Distributed Systems
Keywords:
Formal verification Key (lock) Runtime verification Context (archaeology) Process (computing)
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.50
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Software System Performance and Reliability
Physical Sciences → Computer Science → Computer Networks and Communications
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Runtime Verification of Distributed Systems
Journal: Michigan State University Libraries Year: 2023
BOOK-CHAPTER
Distributed Runtime Verification of JADE Multiagent Systems
Daniela BriolaViviana MascardiDavide Ancona
Studies in computational intelligence Year: 2014 Pages: 81-91
JOURNAL ARTICLE
Failure-aware Runtime Verification of Distributed Systems
Basin, DavidKlaedtke, FelixZălinescu, Eugen
Journal: Repository for Publications and Research Data (ETH Zurich) Year: 2015
BOOK-CHAPTER
Runtime Verification for Decentralised and Distributed Systems
Adrian FrancalanzaJorge A. PérezCésar Sánchez
Lecture notes in computer science Year: 2018 Pages: 176-210
JOURNAL ARTICLE
Failure-aware Runtime Verification of Distributed Systems
David BasinFelix KlaedtkeEugen Zălinescu
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2015