liyong31

Yong Li's repositories

Buchi

Determinization, complementation, intersection and inclusion of Buchi word automata

Language:JavaLGPL-3.0200

LearnMealyMachine

Implementation of Mealy machine learning algorithm and its extension

Language:JavaGPL-3.02 30

Buchi-Tests

Language:Java1 20

COLA

Library for determinization, complementation and containment checking for Buchi automata

Language:C++GPL-3.01 10

IC3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Language:C++NOASSERTION1 10

lisa

Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.

Language:C++GPL-3.01 10

SemiBuchi

Complementation of Semi-deterministic Büchi (nested word) automata

Language:JavaLGPL-3.01 60

tip

A model checker based on SAT solving and induction

Language:C++1 20

BDD

Language:Java020

bosy

BoSy is a reactive synthesis tool based on constraint-solving

Language:SwiftAGPL-3.0010

DFAMiner

Infer minimal finite automata from samples or given automaton

Language:PythonNOASSERTION010

liyong31.github.io

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT010

MONA

MONA - a decision procedure for monadic second-order logic on finite strings and trees

Language:CGPL-2.0000

pono

Next generation cosa.

NOASSERTION000

resume

Language:TeX020

SDFALearner

Language:Java000

SVMRanker-1

Language:PythonLGPL-3.0010

swift

LTLf to DFA conversion tool

Language:C++000

Syft

Synthesizer of LTLf formula

Language:C++000