nianzelee

PostDoc at LMU Munich, Germany

LMU MunichGermany

Pinned Repositories

avr
Reads a state transition system and performs property checking
Language:C++1 1 00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
extended_json_parser
Language:C++0 3 00
nianzelee.github.io
Github Pages for Nian-Ze Lee's personal websites
Language:JavaScript0 1 10
PhD-Dissertation
Nian-Ze Lee's doctoral dissertation
Language:C1 3 00
threABC
Threshold logic operation within ABC
Language:C7 2 04
ssatABC
Stochastic SAT solver within ABC
Language:C5 3 202
TLCollapseVerify
Language:C0 2 00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python227 15 379192

nianzelee's Repositories

nianzelee/threABC
Threshold logic operation within ABC
Language:C7 2 04
nianzelee/avr
Reads a state transition system and performs property checking
Language:C++1 1 00
nianzelee/PhD-Dissertation
Nian-Ze Lee's doctoral dissertation
Language:C1 3 00
nianzelee/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
nianzelee/extended_json_parser
Language:C++0 3 00
nianzelee/nianzelee.github.io
Github Pages for Nian-Ze Lee's personal websites
Language:JavaScript0 1 10