Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: runtime-verification

Repositories

PAMunb/rvsec

Language: Java - Size: 181 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 1 - Forks: 2

Copilot-Language/copilot

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

Language: Haskell - Size: 4.38 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 595 - Forks: 47

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: 14 days ago - Pushed: over 4 years ago - Stars: 6 - 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: about 2 months ago - Pushed: about 2 months ago - Stars: 3 - Forks: 2

autonomy-and-verification-uol/ROSMonitoring

ROSMonitoring: a Runtime Verification Framework for ROS

Language: Python - Size: 22.9 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 35 - Forks: 3

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: 29 days ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

autonomy-and-verification/varanus

A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.

Language: Python - Size: 915 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 1

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: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

ocaml-gospel/ortac

Runtime assertion checking based on Gospel specifications

Language: OCaml - Size: 1.42 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 31 - Forks: 9

ista-vamos/vamos

The main VAMOS repository

Language: Makefile - Size: 1.13 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 2 - Forks: 0

HAROS-framework/hpl-rv-ros

Tools to enable Runtime Verification in ROS using HPL properties

Language: Python - Size: 69.3 KB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 2 - Forks: 0

doganulus/python-monitors

A pure Python package to monitor formal specifications over temporal sequences

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

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: 3 months ago - Pushed: 4 months ago - Stars: 92 - Forks: 4

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: 14 days ago - Pushed: about 1 month ago - Stars: 29 - Forks: 5

akutruff/typescript-needs-types

TypeScript please give us types.

Size: 118 KB - Last synced: 3 months ago - Pushed: 10 months ago - Stars: 388 - Forks: 12

davimonteiro/lotus-runtime

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

Language: Java - Size: 1.18 MB - Last synced: 27 days ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 2

duncanatt/detecter

A runtime verification tool for Erlang systems

Language: Erlang - Size: 1.73 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 12 - Forks: 6

MoonLightSuite/moonlight

MoonLight: a light-weight framework for runtime monitoring.

Language: Java - Size: 85.3 MB - Last synced: 21 days ago - Pushed: 3 months ago - Stars: 12 - Forks: 3

doganulus/timescales

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

Language: Shell - Size: 1.2 MB - Last synced: 14 days ago - Pushed: 5 months ago - Stars: 6 - Forks: 2

astrohelm/metaforge

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

Language: JavaScript - Size: 313 KB - Last synced: 20 days ago - Pushed: 6 months ago - Stars: 3 - Forks: 1

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: 3 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

VeraBE/VeriMan

Analysis tool for Solidity smart contracts. Prototype.

Language: Python - Size: 81.1 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 33 - Forks: 8

Frama-C/Frama-C-snapshot

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

Language: OCaml - Size: 75.1 MB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 152 - Forks: 36

ista-vamos/vamos-mpt

Monitoring hyperproperties with Multi-trace prefix transducers

Language: Python - Size: 140 KB - Last synced: 7 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

git-afsantos/hpl-rv

Tools to manage RV monitors created from HPL

Language: Python - Size: 308 KB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 1 - Forks: 0

Zeraka/rvtool

a solidity runtime verification tool based on LTL.

Language: C++ - Size: 24 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

ettle/panics

Run time assertions with panics for Go

Language: Go - Size: 6.84 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Jesserc/k-framework-demo

Learning K framework by Runtime Verification

Size: 2.93 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - 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: 10 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

dSynMa/syMTri

A tool for reactive synthesis with monitor triggers.

Language: Python - Size: 909 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

dependable-ai/nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks

Language: Jupyter Notebook - Size: 227 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 33 - Forks: 9

jcp19/SPIDER 📦

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

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

Related Keywords

runtime-verification 53 monitoring 12 runtime-monitoring 7 formal-verification 6 c 5 dynamic-analysis 5 program-analysis 5 temporal-logic 5 ltl 4 javascript 4 ocaml 4 solidity 3 static-analysis 3 embedded-systems 3 code-generation 3 schema 3 verification 3 haskell 3 parallel-computing 2 runtime-monitoring-system 2 buffer-overflow 2 automata 2 streams 2 stream-programming 2 llvm 2 embedded-c 2 typescript 2 checker 2 testing 2 ethereum 2 monitoring-tool 2 regular-expression 2 formal-specification 2 ros 2 stream-processing 2 solidity-contracts 2 blockchain 2 abstract-interpretation 2 smart-contracts 2 validate-js 1 reactive-synthesis 1 symbolic-automata 1 synthesis 1 functional-safety 1 metrics 1 neural-network 1 debugging-tools 1 deontic-logic 1 deontic 1 distributed-systems 1 race-conditions 1 race-detection 1 runtime-typechecking 1 parse 1 json-schema-validator 1 k-framework 1 panics 1 panic 1 golang 1 go 1 assertions 1 monitor-buchi 1 safety-monitoring 1 hyperproperties 1 compilers 1 temporal-properties 1 sol 1 pbuilder 1 data-streaming 1 malloc 1 automated-planning 1 predictive-analysis 1 icst 1 icst21 1 specification-language 1 specs 1 trace-checking 1 metaprogramming 1 javascript-library 1 ethereum-contract 1 erlang 1 source-level-weaving 1 bsc-project 1 aspectj 1 race-detection-engines 1 testing-tools 1 traces 1 timed-regular-expressions 1 monitoring-engine 1 reentrancy 1 signal 1 signal-handler 1 ethereum-blockchain 1 larva 1 computer-science 1 qsort 1 automata-theory 1 model-checking 1 predictive-runtime-verification 1 process-mining 1

GitHub topics: runtime-verification

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

runtime-monitoring/explanator2 📦

GervinFung/parse-dont-validate 📦

jcp19/SPIDER 📦

Copilot-Language/copilot-language 📦

Copilot-Language/copilot-core 📦