How to install ns3 Linux Ubuntu 16.04

In this tutorial , You can get simple steps to install ns3 on linux ubuntu 16.04. This ns3 is written using the C++ & Python programming language. The ns3 library is wrapped by Python. C++ headers to gccxml and pygccxml  which automatically generate the corresponding C++ binding files which are …

How to install spin model checker on Linux ubuntu 16.04

This tutorials explains, how to install Spin on Linux Ubuntu 16.04. Spin is  Logic model checking and in the formal verification of concurrent systems and multi-threaded software applications. The tool supports a high level language to specify systems descriptions called PROMELA (short for: PROcess MEta LAnguage)  and provides direct support for the use …