Practical-Formal-Methods

icon location Maria Christakis' research group at MPI-SWS

Results 4 repositories owned by Practical-Formal-Methods
trafficstars

storm

85
Stars
11
Forks
Watchers

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

verified publisher icon Practical-Formal-Methods

bran

22
Stars
7
Forks
Watchers

Static analysis framework for EVM bytecode

verified publisher icon Practical-Formal-Methods

queryFuzz

34
Stars
6
Forks
Watchers

QueryFuzz implements a metamorphic testing approach to test Datalog engines.

verified publisher icon Practical-Formal-Methods

tailor

18
Stars
0
Forks
Watchers

Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints

verified publisher icon Practical-Formal-Methods