By Gunnar Smith|2023-04-13T13:07:08+01:00April 13, 2023|
PiSPEC is a specification language that has been designed for interlocking systems specifications. It builds on well-known concepts that are being taught in engineering classes all over the world.