Internet Computer Monitoring Artifact: Policy Formulas and Log Files

An artifact accompanying a formal methods paper presented at FM 2023 includes policy formulas and raw log files. It contains all tools necessary to reproduce the experimental results reported in the associated paper. The artifact was authored by David Basin of ETH Zurich.

Use Cases

• Reproduce formal monitoring experiments based on the provided policy formulas and log files
• Analyze blockchain network performance based on the raw log data included in the artifact
• Validate or modify temporal logic policies for system monitoring based on the provided MFOTL formulas

Strengths

• Includes all tools necessary to reproduce the experimental results from the paper
• Provides raw log files used in the original evaluation
• Contains policy formulas described in Section 3.2 of the paper

Limitations

• Column-level documentation is absent; field semantics must be inferred after download
• Row count is unknown, which may limit suitability assessment

Provenance

Source

ETH Zurich

Collection Method

Logs and formulas created for the paper 'Monitoring the Internet Computer'.