Process Analysis Toolkit

finite-state model checker for concurrent and real-time systems

en-GB/ˈpɹəʊsɛs əˈnæləsɪs ˈtuːlkɪt/

دسته بندی ها:

software