GitHub - jgershen/MCOCA: Model checking omega cellular automata (@jgershen's Masters' thesis)

MCOCA_thesis.pdf is my Master's thesis and contains the best explanation of the aims of this research.

MCCA_undergrad_thesis.pdf is an earlier paper along the same line.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
tests		tests
DRW.cpp		DRW.cpp
DRW.hpp		DRW.hpp
MCCA_undergrad_thesis.pdf		MCCA_undergrad_thesis.pdf
MCOCA_thesis.pdf		MCOCA_thesis.pdf
Makefile		Makefile
NBW.cpp		NBW.cpp
NBW.hpp		NBW.hpp
README.md		README.md
SafraTest.cpp		SafraTest.cpp
SafraTest.hpp		SafraTest.hpp
SafraTree.cpp		SafraTree.cpp
SafraTree.hpp		SafraTree.hpp
arg_parser.cpp		arg_parser.cpp
arg_parser.hpp		arg_parser.hpp
buchi_gen.cpp		buchi_gen.cpp
buchi_gen.hpp		buchi_gen.hpp
cli.cpp		cli.cpp
fol.ypp		fol.ypp
fol_parser.cpp		fol_parser.cpp
fol_parser.hpp		fol_parser.hpp
fol_parser.output		fol_parser.output
foo.dot		foo.dot
gdata		gdata
gen_test.cpp		gen_test.cpp
logic.cpp		logic.cpp
logic.hpp		logic.hpp
odata		odata
rabin1.aut		rabin1.aut
utils.cpp		utils.cpp
utils.hpp		utils.hpp
zdata		zdata

Provide feedback