7 results found Sort:

Copilot-Language
copilot Copilot-Language
63
711
unknown
34
A stream-based runtime-verification framework for generating hard real-time C code.
c rv stream copilot haskell embedded-systems runtime-verification
Created 2015-06-09
3,236 commits to master branch, last one about a month ago
akutruff
typescript-needs-types akutruff
12
412
mit
12
TypeScript please give us types.
schema typescript strongly-typed runtime-verification
Created 2021-01-22
81 commits to main branch, last one about a year ago
nasa
ogma nasa
36
397
other
12
Generator of runtime monitors for flight and robotics applications.
rv cfs ros ros2 fprime autonomy robotics assurance space-ros spacecraft flight-software embedded-systems runtime-monitoring runtime-verification robot-operating-system runtime-monitoring-system
Created 2021-08-05
996 commits to develop branch, last one 22 days ago
mikeroyal
LLVM-Guide mikeroyal
10
165
unknown
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 imple...
llvm mlir clang llvm-ir compiler debugger assembler compliers llvm-pass build-tool llvm-clang clang-format ebpf-programs llvm-frontend clang-frontend runtime-system clang-toolchain compiler-design parallel-programming runtime-verification
Created 2021-08-22
23 commits to main branch, last one about a year ago
ltlfuzzer
LTL-Fuzzer ltlfuzzer
8
55
apache-2.0
4
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
fuzzing testing test-oracles model-checker testing-tools model-checking network-fuzzer protocol-fuzzing runtime-verification
Created 2022-01-22
6 commits to main branch, last one 2 years ago
yugr
sortcheck yugr
4
52
mit
4
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
qsort dynamic-analysis program-analysis runtime-verification
Created 2015-12-06
262 commits to master branch, last one 2 months ago
ocaml-gospel
ortac ocaml-gospel
11
45
mit
4
Runtime assertion checking based on Gospel specifications
ocaml verfication specification runtime-verification
Created 2020-09-08
925 commits to main branch, last one 20 days ago