Model checking, formal verification Multi-valued logic, IoTs- Ad hoc network, Trust, Social commitments,  Multi-agent systems(MAS)