PiSPEC is a formal language dedicated to signaling engineering. It enables you to specify signaling requirements in a clear and formal way and to package this as reusable Generic Application.
PiSPEC was developed to be the perfect interface between signaling engineers and signaling automation tools such as Prover iLock. Care has been taken to make language features self-explanatory.
PiSPEC is very similar to HLL, but allows also some abstraction with respect to the execution model.