nianzelee

PostDoc at LMU Munich, Germany

LMU MunichGermany

Pinned Repositories

avr
Reads a state transition system and performs property checking
Language:C++76 4 919
cbmc
C Bounded Model Checker
Language:C++867 41 1.3k269
avr
Reads a state transition system and performs property checking
Language:C++2 1 00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python0 1 00
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:C8 2 04
ssatABC
Stochastic SAT solver within ABC
Language:C5 3 202
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python240 15 388202

nianzelee's Repositories

nianzelee/threABC
Threshold logic operation within ABC
Language:C8 2 04
nianzelee/avr
Reads a state transition system and performs property checking
Language:C++2 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:Python0 1 00
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