彼得拉

佩特拉（Petra）是世界上第一個用於可擴展（面向對象的）正式軟件驗證的開放標準，也是該標準的專業開發人員工具。