Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for runtime verification
runtime-verification
x
20 search results found
Copilot
⭐
563
A stream-based runtime-verification framework for generating hard real-time C code.
Typescript Needs Types
⭐
355
TypeScript please give us types.
Frama C Snapshot
⭐
125
Release snapshots of the Frama-C platform for source code analysis
Llvm Guide
⭐
84
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.
Veriman
⭐
33
Analysis tool for Solidity smart contracts. Prototype.
Ortac
⭐
31
Runtime assertion checking based on Gospel specifications
Reelay
⭐
27
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Rosmonitoring
⭐
25
ROSMonitoring: a Runtime Verification Framework for ROS
Nn Dependability Kit
⭐
23
Toolbox for software dependability engineering of artificial neural networks
Sortcheck
⭐
22
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
Spider
⭐
15
Automated data race detection from a distributed trace via SMT constraint solving
Copilot Language
⭐
15
Front-end of Copilot defining the user language.
Detecter
⭐
12
A runtime verification tool for Erlang systems
Moonlight
⭐
11
MoonLight: a light-weight framework for runtime monitoring.
Sighandlercheck
⭐
8
Proof-of-concept tool for checking signal handlers for reentrancy issues.
Dirtyframe
⭐
8
A prototype tool to provoke uninitilized data errors by filling stack frames with garbage in prologue
Monaa
⭐
7
A Tool for Timed Patten Matching with Automata-Based Acceleration
Debian_pkg_test
⭐
6
Scripts to apply code analyzers to Debian packages.
Timescales
⭐
6
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Copilot Core
⭐
5
Intermediate representation for Copilot.
Related Searches
Python Runtime Verification (7)
Monitoring Runtime Verification (7)
C Runtime Verification (6)
Dynamic Analysis Runtime Verification (5)
Program Analysis Runtime Verification (5)
Ocaml Runtime Verification (4)
Runtime Verification Temporal Logic (4)
Stream Runtime Verification (3)
Java Runtime Verification (3)
Haskell Runtime Verification (3)
1-20 of 20 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.