Posted Content10.2139/ssrn.4394998
Adaptively Parallel Runtime Verification Based on Distributed Network for Temporal Properties
About: This article is published in Social Science Research Network. The article was published on 01 Sep 2023. The article focuses on the topics: Computer science.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
References
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Edmund M. Clarke,E. Allen Emerson +1 more
- 01 May 1981
TL;DR: It is shown that it is possible to automatically synthesize the synchronization skeleton of a concurrent program from a Temporal Logic specification and it is believed that this approach may in the long run turn out to be quite practical.
2.6K
A Brief Account of Runtime Verification
TL;DR: A comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out.
917
CPACHECKER: a tool for configurable software verification
Dirk Beyer,M. Erkan Keremoglu +1 more
- 14 Jul 2011
TL;DR: CPAchecker as discussed by the authors is a tool and framework that aims at easy integration of new verification components, such as configurable program analysis (CPA), in one single formalism.
A Tutorial on Runtime Verification
Yliès Falcone,Klaus Havelund,Giles Reger +2 more
- 01 Jan 2013
TL;DR: This chapter focuses specifically on checking execution traces against requirements formalized in terms of monitors, and shows on examples how such monitors can be written using aspect-oriented programming, exemplified by ASPECTJ.
T2: Temporal Property Verification
Marc Brockschmidt,Byron Cook,Samin Ishtiaq,Heidy Khlaaf,Nir Piterman +4 more
- 02 Apr 2016
TL;DR: T2 as mentioned in this paper is a tool from the TERMINATOR project that supports automatic temporal-logic proving techniques and handles a general class of user-provided liveness and safety properties.