SergeyStaroletov's repositories
FloatArithInIntegers
floating point operations implemented in software way using only integers
PromelaSamples
Some notable and complex Promela examples (in progress)
Control-Theory-Prove-KeYmaera
Samples of PD and PID controllers to prove with KeYmaera tool
CoreMLSwiftDemo
Just a help to my student with a hackathon task
kohmar-firewall
Anomaly Detection System for network traffic in real-time using Markov chains and Kohonen SOM
LinuxKernelAnalysis
Linux Kernel Analysis using Levenshtein Distance and JGit
SPIN-probabilistic
spin fork + ideas of probabilistic programming
Language:C000
Language:C++GPL-3.0000
Language:C++000
Language:Python000
Language:C++000
Language:CGPL-2.0000
Language:OCaml000
Language:Vue000
EDTL
Event-driven temporal logic for control software, test implementation
Language:Python000
Language:LexGPL-2.0000
Language:C++000
Language:Promela000
post_test
poST language core, based on Xtext framework, addition for testing
Language:Java000
Language:Java000
Apache-2.0000
Language:Java000
TestingDVBT2
Kaffeine with a specially added dialog to test DVB-T2 networks