runtime-verification topic

Runtime assertion checking based on Gospel specifications

ocaml-gospel

Toolbox for software dependability engineering of artificial neural networks

dependable-ai

ROSMonitoring: a Runtime Verification Framework for ROS

autonomy-and-verification-uol

A pure Python package to monitor formal specifications over temporal sequences

doganulus

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

ltlfuzzer