Arthur Correnson

icon indicating a website link https://acorrenson.github.io/ icon indicating an email [email protected]

icon company CISPA Helmholtz Center for Information Security icon location Saarbrücken icon location PhD candidate at CISPA. Working on formally verified formal methods.

Results 2 repositories owned by Arthur Correnson

owl

19
Stars
1
Forks
Watchers

A mini language for logic programming

verified publisher icon acorrenson

SATurne

18
Stars
3
Forks
Watchers

Tiny verified SAT-solver

verified publisher icon acorrenson