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