agra-uni-bremen

icon indicating a website link https://agra.informatik.uni-bremen.de/

Results 4 repositories owned by agra-uni-bremen

symex-vp

18
Stars
5
Forks
Watchers

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

verified publisher icon agra-uni-bremen

metaSMT

48
Stars
25
Forks
Watchers

verified publisher icon agra-uni-bremen

crave

45
Stars
13
Forks
Watchers

Constrained random stimuli generation for C++ and SystemC

verified publisher icon agra-uni-bremen

BinSym

31
Stars
3
Forks
Watchers

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

verified publisher icon agra-uni-bremen