Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Network Beacon enables you to publish services on a computer.
Protect your data when accessing the Internet.
Browse safely on the Internet and stay undetected.
Surf the web anonymously with no concern about being tracked.
Pinpoint network problems as an initial step for solving them.
Surf the web anonymously with no concern about being tracked.
Comments