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