runtime-verification | Topic | Ecosyste.ms: Repos

Topic: "runtime-verification"

Copilot-Language/copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Language: Haskell - Size: 4.42 MB - Last synced at: 25 days ago - Pushed at: about 1 month ago - Stars: 724 - Forks: 66

nasa/ogma

Generator of runtime monitors for flight and robotics applications.

Language: Haskell - Size: 30.8 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 464 - Forks: 40

akutruff/typescript-needs-types

TypeScript please give us types.

Size: 118 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 413 - Forks: 12

LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.

Language: C++ - Size: 191 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 169 - Forks: 10

Frama-C/Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

Language: OCaml - Size: 75.1 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 152 - Forks: 36

yugr/sortcheck

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Language: C - Size: 252 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 52 - Forks: 4

ocaml-gospel/ortac

Runtime assertion checking based on Gospel specifications

Language: OCaml - Size: 2.22 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 46 - Forks: 10

autonomy-and-verification-uol/ROSMonitoring

ROSMonitoring: a Runtime Verification Framework for ROS

Language: Python - Size: 22.9 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 38 - Forks: 7

doganulus/reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

Language: C++ - Size: 2.98 MB - Last synced at: 16 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 6

VeraBE/VeriMan

Analysis tool for Solidity smart contracts. Prototype.

Language: Python - Size: 81.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 33 - Forks: 8

dependable-ai/nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks

Language: Jupyter Notebook - Size: 227 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 33 - Forks: 9

yugr/sighandlercheck

Proof-of-concept tool for checking signal handlers for reentrancy issues.

Language: C - Size: 42 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 2

jcp19/SPIDER 📦

Automated data race detection from a distributed trace via SMT constraint solving

Language: Java - Size: 15.3 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 17 - Forks: 1

doganulus/python-monitors

A pure Python package to monitor formal specifications over temporal sequences

Language: Python - Size: 43.9 MB - Last synced at: 15 days ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 5

MoonLightSuite/moonlight

MoonLight: a light-weight framework for runtime monitoring.

Language: Java - Size: 132 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 3

Copilot-Language/copilot-language 📦

(DEPRECATED) Front-end of Copilot defining the user language.

Language: Haskell - Size: 356 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 3

duncanatt/detecter

A runtime verification tool for Erlang systems

Language: Erlang - Size: 1.73 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 6

chavacava/dbc4go

Design by Contract for Go

Language: Go - Size: 1.22 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 10 - Forks: 0

MasWag/monaa

A Tool for Timed Patten Matching with Automata-Based Acceleration

Language: C++ - Size: 2.75 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 1

yugr/DirtyFrame

A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue

Language: Python - Size: 42 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 1

yugr/debian_pkg_test

Scripts to apply code analyzers to Debian packages.

Language: Shell - Size: 158 KB - Last synced at: 16 days ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1

yugr/DirtyPad

Clang plugin which fills structure pads to provoke buffer overflow errors

Language: C++ - Size: 11.7 KB - Last synced at: 21 days ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 0

doganulus/timescales

A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

Language: Shell - Size: 1.2 MB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 2

doganulus/reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

Language: Python - Size: 7.87 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

nondeterministic/ltl3tools

Convert LTL formulas into finite-state automata for monitoring

Language: OCaml - Size: 85 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 1

yugr/failing-malloc

A simple 5-minute checker which simulates OOM failures by returning NULL from malloc

Language: C - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

Copilot-Language/copilot-core 📦

(DEPRECATED) Intermediate representation for Copilot.

Language: Haskell - Size: 386 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 2

davimonteiro/lotus-runtime

A Tool for Runtime Monitoring and Verification of Self-adaptive Systems

Language: Java - Size: 1.18 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 2

ista-vamos/vamos

The main VAMOS repository

Language: Makefile - Size: 1.15 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

astrohelm/metaforge

Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime

Language: JavaScript - Size: 334 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

mojtaba-eshghie/HighGuard

HighGuard is a runtime monitoring tool for monitoring smart contracts against high-level properties

Language: JavaScript - Size: 20.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 2

dSynMa/syMTri

A tool for reactive synthesis with monitor triggers.

Language: Python - Size: 909 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

HAROS-framework/hpl-rv-ros

Tools to enable Runtime Verification in ROS using HPL properties

Language: Python - Size: 64.5 KB - Last synced at: 21 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

WangWilly/osu-cse-6341

Labs for programming languages

Language: Java - Size: 2.95 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

GervinFung/parse-dont-validate 📦

Validating data acts as a gatekeeper, parsing them into meaningful data types adds valuable information to raw data

Language: TypeScript - Size: 337 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

PAMunb/rvsec

Language: Java - Size: 261 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 2

viralpraxis/rspec-description_consistency

Language: Ruby - Size: 27.3 KB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

git-afsantos/hpl-rv

Tools to manage RV monitors created from HPL

Language: Python - Size: 319 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

runtime-monitoring/explanator2

Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.

Language: Isabelle - Size: 20 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

Zeraka/rvtool

a solidity runtime verification tool based on LTL.

Language: C++ - Size: 24 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

shaunazzopardi/ethereuem-runtime-verification

An attempt at runtime verification of Ethereum smart contracts.

Language: Haskell - Size: 40 KB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

hemanialaparthi/lvb

a comparitive tool that measures and compares the speed of linear search, binary search, and binary tree search.

Language: Python - Size: 50.8 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

ioncakephper/contract-shield-cli

A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).

Language: JavaScript - Size: 137 KB - Last synced at: 3 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

autonomy-and-verification/varanus

A Runtime Verification toolchain that uses a CSP model as its oracle.

Language: Python - Size: 1.5 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1

Jimmymugendi/LuxDev-week-4-boot-camp

This repo focuses on operations performed in python. Interview questions that data entusiast and practitoners should be aware of.

Language: Jupyter Notebook - Size: 7.81 KB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

dslab-uniud/ppSTL-IJCAI2024

Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.

Language: Python - Size: 2.87 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

ista-vamos/fase23-experiments

Experiments for the paper "VAMOS: Middleware for Best-Effort Third-Party Monitoring" accepted to FASE 2023.

Language: SWIG - Size: 3.09 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

maroneze/Frama-C-snapshot Fork of Frama-C/Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

Language: OCaml - Size: 74.6 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0