strejcek

Pinned Repositories

hoaf
Hanoi Omega-Automata Format
Language:TeX15 8 501
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language:Python319 12 17657
hoaf
Hanoi Omega-Automata Format
Language:TeX00
ltl3tela
LTL3TELA is a translator of LTL formulae to omega-automata with generic acceptance condition.
Language:Jupyter Notebook00

strejcek's Repositories

strejcek/hoaf
Hanoi Omega-Automata Format
Language:TeX00
strejcek/ltl3tela
LTL3TELA is a translator of LTL formulae to omega-automata with generic acceptance condition.
Language:Jupyter Notebook00