#

runtime-verification

Here are 27 public repositories matching this topic...

Copilot-Language / copilot

Star

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

c haskell stream embedded-systems copilot rv runtime-verification

Updated Jul 1, 2020
Haskell

Frama-C / Frama-C-snapshot

Star

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

c static-analysis ocaml formal-verification abstract-interpretation runtime-verification

Updated Dec 4, 2019
OCaml

dependable-ai / nn-dependability-kit

Star

Toolbox for software dependability engineering of artificial neural networks

python neural-network metrics static-analysis verification ipynb ssd runtime-verification functional-safety nn-dependability-kit

Updated Mar 31, 2020
Jupyter Notebook

VeraBE / VeriMan

Star

Analysis tool for Solidity smart contracts. Prototype.

testing monitoring ethereum blockchain ltl solidity runtime-verification temporal-properties

Updated Mar 12, 2020
Python

yugr / sortcheck

Star

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

dynamic-analysis program-analysis qsort runtime-verification

Updated Jul 31, 2020
C

Copilot-Language / copilot-language

Star

Front-end of Copilot defining the user language.

c haskell streams embedded-systems embedded-c runtime-verification stream-programming

Updated Jun 23, 2020
Haskell

jcp19 / SPIDER

Star

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

distributed-systems testing-tools debugging-tools race-detection traces runtime-verification race-conditions race-detection-engines

Updated Jul 1, 2020
Java

doganulus / reelay

Star

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

verification stream-processing header-only temporal-logic formal-methods assertion-library regular-expressions runtime-verification cyber-physical-systems system-verification

Updated Jun 4, 2020
C++

yugr / sighandlercheck

Star

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

dynamic-analysis signal program-analysis signal-handler runtime-verification reentrancy

Updated Jun 6, 2020
C

Copilot-Language / copilot-core

Star

Intermediate representation for Copilot.

c haskell streams embedded-systems embedded-c runtime-verification stream-programming

Updated Jul 11, 2020
Haskell

doganulus / python-monitors

Star

A pure Python package to monitor formal specifications over temporal sequences

monitoring temporal-logic regular-expressions runtime-verification

Updated Dec 10, 2019
Python

MasWag / monaa

Star

A Tool for Timed Patten Matching with Automata-Based Acceleration

automata monitoring regular-expression data-streaming monitoring-tool runtime-verification formal-specification

Updated Nov 12, 2019
C++

doganulus / reelay-codegen

Star

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

monitoring data-stream regular-expression stream-processing temporal-logic code-generation monitoring-tool temporal-data runtime-verification formal-specification

Updated Dec 20, 2019
Python

davimonteiro / lotus-runtime

Star

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

runtime-verification self-adaptive-systems models-at-run-time

Updated Oct 6, 2019
Java

yugr / DirtyPad

Star

Clang plugin which fills structure pads to provoke buffer overflow errors

llvm dynamic-analysis program-analysis buffer-overflow runtime-verification

Updated May 15, 2017
C++

nondeterministic / ltl3tools

Star

Convert LTL formulas into finite-state automata for monitoring

automata monitoring ltl model-checking runtime-verification automata-theory

Updated Aug 12, 2018
OCaml

yugr / DirtyFrame

Star

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

dynamic-analysis program-analysis buffer-overflow runtime-verification

Updated Nov 29, 2019
Python

ChristophPrybilaTUVienna / ChoreographyRuntimeVerificationByBlockchain

Star

bitcoin blockchain spv business-process runtime-verification

Updated Mar 15, 2017
Java

yugr / debian_pkg_test

Star

Scripts to apply code analyzers to Debian packages.

debian dynamic-analysis program-analysis pbuilder runtime-verification

Updated May 17, 2018
Shell

doganulus / timescales

Star

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

monitoring temporal-logic benchmark-suite runtime-verification runtime-monitoring benchmark-generation

Updated May 1, 2020
Makefile

shaunazzopardi / ethereuem-runtime-verification

Star

An attempt at runtime verification of Ethereum smart contracts.

monitoring ethereum smart-contracts solidity ethereum-contract sol formal-verification solidity-contracts runtime-verification ethereum-blockchain monitoring-engine

Updated Jun 4, 2018
Haskell

maroneze / Frama-C-snapshot

Star

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

c static-analysis ocaml formal-verification abstract-interpretation runtime-verification

Updated Jun 2, 2020
OCaml

Snippet-University / trial_bench

Star

The bench is the main repo for projects that need pass/no pass calibration testing. It takes a physical inventory of script properties to determine if a build is possible.

testing nomenclature inventory benchmarks header-builder trial runtime-verification conformance header-tag

Updated Dec 7, 2019

autonomy-and-verification-uol / varanus

Star

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

communicating-sequential-processes fdr runtime-verification runtime-monitoring

Updated Jul 8, 2020
Python

shaunazzopardi / deontic-monitoring-solidity

Star

Case study in monitoring a Solidity smart contract with a deontic logic specification language.

monitoring solidity solidity-contracts runtime-verification deontic deontic-logic

Updated Oct 26, 2018

migueldingli1997 / FYP

Star

Runtime Verification of Timed Regular Expressions in Larva

computer-science aspectj bsc-project runtime-verification larva timed-regular-expressions

Updated Jul 1, 2020
Java

farif / Pastim-LTL-Runtime-Verification

Star

Pastime LTL for runtime verification.

monitoring model-checking lustre linear-temporal-logic runtime-verification pastime-ltl

Updated Aug 10, 2020

Improve this page

Add a description, image, and links to the runtime-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the runtime-verification topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.