Chương trình theo pspec.sf.net

Dự án này là một cách tiếp cận để tự động hóa việc kiểm tra các tính chất hiệu suất của các hệ thống phức tạp. Cũng giống như thông số kỹ thuật chức năng cho phần mềm, chúng tôi nhằm mục đích phát triển một ngôn ngữ thực thi