Programma's van pspec.sf.net

Dit project is een benadering van het automatiseren van het testen van prestatie-eigenschappen van complexe systemen. Net als functionele specificaties voor software streven we ernaar om een uitvoerbare taal te ontwikkelen vo