vhavlena

Pinned Repositories

mata
A fast and simple automata library
Language:Stata23 3 15913
z3-noodler
The Z3-Noodler String Solver
Language:C++9 3 325
ahofa
reduction of NFAs used for IDS
Language:Python00
appreal
APProximate REduction of Automata and Languages
Language:C0 1 03
ba-complement
Simulations in BA complement
Language:Haskell0 1 00
detano
Automata-based Detection of Network Anomalies
Language:Python3 1 22
fit-projects
School projects at FIT BUT
Language:TeX0 1 01
lazy-wsks
Lazy decision procedure for WS2S & WSkS antiprenexing
Language:Haskell0 1 00
Noodler
Solving String equations using automata
Language:SMT2 0 22
ranker
A tool for Buchi automata complementation
Language:C++1 1 32

vhavlena's Repositories

vhavlena/detano
Automata-based Detection of Network Anomalies
Language:Python3 1 22
vhavlena/Noodler
Solving String equations using automata
Language:SMT2 0 22
vhavlena/ranker
A tool for Buchi automata complementation
Language:C++1 1 32
vhavlena/ahofa
reduction of NFAs used for IDS
Language:Python00
vhavlena/appreal
APProximate REduction of Automata and Languages
Language:C0 1 03
vhavlena/ba-complement
Simulations in BA complement
Language:Haskell0 1 00
vhavlena/fit-projects
School projects at FIT BUT
Language:TeX0 1 01
vhavlena/lazy-wsks
Lazy decision procedure for WS2S & WSkS antiprenexing
Language:Haskell0 1 00
vhavlena/kofola
Complementation of Büchi automata
Language:C++0 0
vhavlena/mata
A new automata library
Language:C++0 0