数据链接：
官方服务：
资源简介：
Dataset and Code for the article:ArchTacRV: Detecting and Runtime Verifying Architectural Tactics in Code
应用场景：
创建时间：
2021-10-25
相关数据集
On Monitoring Linear Temporal Properties
Runtime verification facilitates monitoring the executions of a system against temporal properties, commonly to detect violations. Not every temporal property is fully monitorable however: in some cas
DataCite Commons2024-05-07 更新120
Monitorability for Runtime Verification
Runtime verification (RV) allows analyzing execution traces using formal techniques. In particular, it permits monitoring the execution of a system against a temporal specification, commonly to detect
DataCite Commons2024-07-30 更新80
Checking Complex Source Code-level Constraints using Runtime Verification - FSE 2024 (Industry papers track) - Artefact
This dataset accompanies the article Joshua Heneage Dawes and Domenico Bianculli. 2024. Checking Complex Source Code-level Constraints using Runtime Verification. In Companion Proceedings of the 32nd
DataCite Commons2024-08-07 更新50
Space Telemetry Analysis with PyContract
PyContract is a Python library for trace analysis, also characterized as an internal DSL (Domain-Specific Language). It combines flavors of state machines and rule-based programming, supporting states
DataCite Commons2024-01-14 更新110
An Extension of LTL with Rules and its Application to Runtime Verification
Verification (RV) consists of analyzing execution traces using formal techniques, e.g., monitoring executions against Linear Temporal Logic (LTL) properties. Propositional LTL is, however, limited in e
DataCite Commons2023-09-15 更新50
