About
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
Languages
Language:C 65.5%Language:C++ 18.2%Language:Python 4.1%Language:CMake 3.6%Language:Haskell 1.3%Language:TLA 1.3%Language:Shell 1.2%Language:TeX 1.2%Language:Assembly 1.0%Language:Isabelle 0.8%Language:Makefile 0.7%Language:HTML 0.7%Language:HyPhy 0.3%Language:Awk 0.0%Language:Objective-C 0.0%Language:GAP 0.0%Language:Vim Script 0.0%Language:Brainfuck 0.0%Language:M4 0.0%Language:F* 0.0%Language:Perl 0.0%Language:sed 0.0%Language:TSQL 0.0%Language:Batchfile 0.0%Language:Roff 0.0%