A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Parallel and Distributed Systems"
DOI: 10.1109/tpds.2022.3215854
Abstract: As a lightweight method, runtime verification aims to check whether one program execution satisfies a desired property. For online runtime verification, the approach efficiency and property expressiveness are two key points restricting its wide application.… read more here.
Keywords: regular temporal; distributed network; runtime verification; full regular ... See more keywords