Pathstar Access Server: a
next-generation, carrier-grade, packet based,
Class 5 switch for converging voice and
IP data on a packet infrastructure at the edge
of the telephone network.
The software technology is based on the work of the Computing Sciences Research Center; it uses the Inferno system as well as verification technology developed by us.
