Programmi di pspec.sf.net

Questo progetto è un approccio per automatizzare il test delle proprietà prestative di sistemi complessi. Proprio come le specifiche funzionali per il software miriamo a sviluppare un linguaggio eseguibile per affermare le as