Algebraic-State-Transition-Diagram

This project is a part of a finished Master's thesis.

Documentation

TBD

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
_build		_build
_build_client		_build_client
data		data
jsons		jsons
.Rhistory		.Rhistory
AttackWithOnePhaseSpecGenerator (with automatic generator from json Malwless files).zip		AttackWithOnePhaseSpecGenerator (with automatic generator from json Malwless files).zip
README.md		README.md
Working test specifications.zip		Working test specifications.zip
audit_events.log		audit_events.log
automate.py		automate.py
event_parser.py		event_parser.py
functions.ml		functions.ml
generator.py		generator.py
iASTD		iASTD
input_file.txt		input_file.txt
runGeneratorAuthomatically.sh		runGeneratorAuthomatically.sh