Clexma's Projects
AccAu8 protocol implementation
A small program that convert a BA format automaton into DOT format.
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
A tool used for ranking exp to translate boogie programs into python programs.
use gpt for code analyzing
for linux repo commit info extraction
Communication survey and library for code generation
crypto library for code generation
generated protocol
EPMC: An Extendible Probabilistic Model Checker
A learner for I/O automata implemented base on ROLL. This algorithm was proposed by Frits Vaandrager in Radboud University.
CodeGeneration Program
A regular model checker based on ROLL
Abstract data structure of llvm based program analysis work.
Multi Cycle CPU. Final Project of Course Computer Organization of UCAS.
Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula
A online test Web UI for YuanHang Zhang
refined generated code of code generation program
Temp repo of ROLL modification
ROLL with GUI
A Symbolic Executor based on Separaton Logic
A Sparse Matrix Library. Final project of data structure course of UCAS.
SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM
syzkaller fuzzing with LLM