schuessf

Pinned Repositories

mensa_bot
Language:Python0 2 00
chc-comp-benchmarks
Benchmarks for the CHC-COMP
Language:SMT11
ultimate
The Ultimate program analysis framework.
Language:Java190 34 58240
VEWIT2023-ConcurrencyGhosts
Concurrency Correctness Witnesses with Ghosts - 1st Workshop on Verification Witnesses and Their Validation (VeWit 2023)
Language:Makefile0 7 00

schuessf's Repositories

schuessf/chc-comp-benchmarks
Benchmarks for the CHC-COMP
Language:SMT11