IV.Edge detaillib_involves_rolePage 90 of 105lib_involves_role ledgera library artifact involves or is used by a rolePairs · 10,493Cardinality · N:Nfromtoto kindlib-skill:computer-science--abstract-domain-libraryrole:computational-scientistRolelib-skill:computer-science--abstract-domain-libraryrole:research-scientistRolelib-skill:computer-science--amortized-analysis-assistantrole:computational-scientistRolelib-skill:computer-science--amortized-analysis-assistantrole:research-engineerRolelib-skill:computer-science--approximation-ratio-calculatorrole:computational-scientistRolelib-skill:computer-science--approximation-ratio-calculatorrole:research-engineerRolelib-skill:computer-science--asymptotic-notation-calculatorrole:computational-scientistRolelib-skill:computer-science--asymptotic-notation-calculatorrole:research-engineerRolelib-skill:computer-science--benchmark-suite-managerrole:computational-scientistRolelib-skill:computer-science--benchmark-suite-managerrole:research-engineerRolelib-skill:computer-science--complexity-class-oraclerole:computational-scientistRolelib-skill:computer-science--complexity-class-oraclerole:research-engineerRolelib-skill:computer-science--consensus-protocol-libraryrole:research-engineerRolelib-skill:computer-science--consensus-protocol-libraryrole:research-scientistRolelib-skill:computer-science--counterexample-guided-refinementrole:computational-scientistRolelib-skill:computer-science--counterexample-guided-refinementrole:research-scientistRolelib-skill:computer-science--data-flow-analysis-frameworkrole:research-engineerRolelib-skill:computer-science--data-flow-analysis-frameworkrole:computational-scientistRolelib-skill:computer-science--dsl-compiler-generatorrole:research-engineerRolelib-skill:computer-science--dsl-compiler-generatorrole:computational-scientistRolelib-skill:computer-science--latex-proof-formatterrole:research-engineerRolelib-skill:computer-science--latex-proof-formatterrole:research-scientistRolelib-skill:computer-science--linearizability-checkerrole:computational-scientistRolelib-skill:computer-science--linearizability-checkerrole:research-scientistRolelib-skill:computer-science--loop-invariant-generatorrole:computational-scientistRolelib-skill:computer-science--loop-invariant-generatorrole:research-scientistRolelib-skill:computer-science--memory-model-analyzerrole:computational-scientistRolelib-skill:computer-science--memory-model-analyzerrole:research-scientistRolelib-skill:computer-science--model-checker-interfacerole:computational-scientistRolelib-skill:computer-science--model-checker-interfacerole:research-scientistRolelib-skill:computer-science--operational-semantics-builderrole:research-engineerRolelib-skill:computer-science--operational-semantics-builderrole:computational-scientistRolelib-skill:computer-science--optimization-correctness-verifierrole:research-engineerRolelib-skill:computer-science--optimization-correctness-verifierrole:computational-scientistRolelib-skill:computer-science--probabilistic-analysis-toolkitrole:computational-scientistRolelib-skill:computer-science--probabilistic-analysis-toolkitrole:research-engineerRolelib-skill:computer-science--recurrence-solverrole:computational-scientistRolelib-skill:computer-science--recurrence-solverrole:research-engineerRolelib-skill:computer-science--reduction-builderrole:computational-scientistRolelib-skill:computer-science--reduction-builderrole:research-engineerRolelib-skill:computer-science--related-work-analyzerrole:research-engineerRolelib-skill:computer-science--related-work-analyzerrole:research-scientistRolelib-skill:computer-science--smt-solver-interfacerole:computational-scientistRolelib-skill:computer-science--smt-solver-interfacerole:research-scientistRolelib-skill:computer-science--soundness-proof-assistantrole:research-engineerRolelib-skill:computer-science--soundness-proof-assistantrole:computational-scientistRolelib-skill:computer-science--ssa-transformation-libraryrole:research-engineerRolelib-skill:computer-science--ssa-transformation-libraryrole:computational-scientistRolelib-skill:computer-science--synthesis-specification-languagerole:research-engineerRolelib-skill:computer-science--synthesis-specification-languagerole:research-scientistRolelib-skill:computer-science--temporal-logic-translatorrole:computational-scientistRolelib-skill:computer-science--temporal-logic-translatorrole:research-scientistRolelib-skill:computer-science--termination-analyzerrole:computational-scientistRolelib-skill:computer-science--termination-analyzerrole:research-scientistRolelib-skill:computer-science--theorem-prover-interfacerole:computational-scientistRolelib-skill:computer-science--theorem-prover-interfacerole:research-scientistRolelib-skill:computer-science--tla-plus-generatorrole:computational-scientistRolelib-skill:computer-science--tla-plus-generatorrole:research-scientistRolelib-skill:computer-science--turing-machine-simulatorrole:computational-scientistRolelib-skill:computer-science--turing-machine-simulatorrole:research-engineerRolelib-skill:computer-science--type-inference-enginerole:research-engineerRolelib-skill:computer-science--type-inference-enginerole:computational-scientistRolelib-skill:computer-science--typing-rule-generatorrole:research-engineerRolelib-skill:computer-science--typing-rule-generatorrole:computational-scientistRolelib-skill:electrical-engineering--reliability-analysisrole:embedded-engineerRolelib-skill:electrical-engineering--reliability-analysisrole:systems-integration-engineerRolelib-skill:electrical-engineering--test-automationrole:embedded-engineerRolelib-skill:electrical-engineering--test-automationrole:systems-integration-engineerRolelib-skill:electrical-engineering--thermal-analysisrole:embedded-engineerRolelib-skill:electrical-engineering--thermal-analysisrole:systems-integration-engineerRolelib-skill:environmental-engineering--air-pollution-controlrole:research-engineerRolelib-skill:environmental-engineering--membrane-system-designrole:research-engineerRolelib-skill:environmental-engineering--stormwater-managementrole:research-engineerRolelib-skill:environmental-engineering--wastewater-optimizationrole:research-engineerRolelib-skill:industrial-engineering--a3-problem-solverrole:operations-analystRolelib-skill:industrial-engineering--a3-problem-solverrole:research-engineerRolelib-skill:industrial-engineering--anthropometric-analyzerrole:operations-analystRolelib-skill:industrial-engineering--anthropometric-analyzerrole:research-engineerRolelib-skill:industrial-engineering--benchmarking-analystrole:operations-analystRolelib-skill:industrial-engineering--benchmarking-analystrole:research-engineerRolelib-skill:industrial-engineering--capacity-plannerrole:operations-analystRolelib-skill:industrial-engineering--capacity-plannerrole:research-engineerRolelib-skill:industrial-engineering--control-chart-analyzerrole:operations-analystRolelib-skill:industrial-engineering--control-chart-analyzerrole:research-engineerRolelib-skill:industrial-engineering--decision-tree-analyzerrole:operations-analystRolelib-skill:industrial-engineering--decision-tree-analyzerrole:research-engineerRolelib-skill:industrial-engineering--demand-forecasterrole:operations-analystRolelib-skill:industrial-engineering--demand-forecasterrole:research-engineerRolelib-skill:industrial-engineering--discrete-event-simulatorrole:operations-analystRolelib-skill:industrial-engineering--discrete-event-simulatorrole:research-engineerRolelib-skill:industrial-engineering--distribution-fitterrole:operations-analystRolelib-skill:industrial-engineering--distribution-fitterrole:research-engineerRolelib-skill:industrial-engineering--doe-designerrole:operations-analystRolelib-skill:industrial-engineering--doe-designerrole:research-engineerRolelib-skill:industrial-engineering--facility-layout-optimizerrole:operations-analystRolelib-skill:industrial-engineering--facility-layout-optimizerrole:research-engineerRolelib-skill:industrial-engineering--five-s-auditorrole:operations-analystRolelib-skill:industrial-engineering--five-s-auditorrole:research-engineerRolelib-skill:industrial-engineering--fmea-facilitatorrole:operations-analystRolelib-skill:industrial-engineering--fmea-facilitatorrole:research-engineerRolePrevPage 90 of 105Next