songyahui/infer_TempFix songyahui/infer_TempFix

  • Stars
    star
    2
  • Language
    OCaml
  • License
    MIT License
  • Created about 2 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
songyahui/infer_TempFix
github

songyahui

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

ProveNFix is a program analysis/repair tool for temporal properties for C language.

More Repositories

1

AlgebraicEffect

effects system for continuation
OCaml
12
star
2

SyncedEffects

JavaScript
2
star
3

Semantics_HIPHOP

C++
2
star
4

FirstOrderEffect

Program analysis of first order effects
OCaml
2
star
5

Timed_Verification

C
1
star