{"id":"W2968959540","doi":"10.29007/6l77","title":"Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Qatar National Research Fund; Fonds National de la Recherche Luxembourg; Qatar Foundation","keywords":"Computer science; HOL; Reliability (semiconductor); Mathematical proof; Reliability engineering; Service (business); Reliability theory; Node (physics); Product (mathematics); Reliability block diagram; Automated theorem proving; Theoretical computer science; Fault tree analysis; Engineering; Mathematics; Programming language; Business","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007718836,0.001249751,0.0006470892,0.00213379,0.0007355388,0.002990741,0.002362179,0.001060665,0.002707371],"category_scores_gemma":[0.01755069,0.0006916852,0.003331637,0.001271083,0.003831428,0.003274462,0.002208645,0.002658845,0.0006525472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002381516,"about_ca_system_score_gemma":0.002781101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003374202,"about_ca_topic_score_gemma":0.001854583,"domain_scores_codex":[0.9955734,0.001810943,0.0003124337,0.0004099657,0.001516413,0.000376762],"domain_scores_gemma":[0.984861,0.01099022,0.0009271909,0.001340761,0.001709414,0.0001714119],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002918834,0.00009729263,0.0007350963,0.0003303744,0.00005568152,0.0004281564,0.0004725379,0.3194685,0.004610797,0.6493096,0.000953201,0.02350965],"study_design_scores_gemma":[0.00002292968,0.00003412155,0.0001707811,0.0001034031,0.00004208509,0.00009297392,0.00006350267,0.6241963,0.004493471,0.3653186,0.005437193,0.00002466563],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003736945,0.000108254,0.9942154,0.0001382092,0.00001661589,0.00003977655,0.00004263996,0.0001756258,0.001526548],"genre_scores_gemma":[0.2681131,0.001028587,0.7271978,0.0002365723,0.0001572958,0.0004840794,0.0003427544,0.0002322612,0.002207508],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007718836,"threshold_uncertainty_score":0.04082155,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04765700939063607,"score_gpt":0.3343177444501004,"score_spread":0.2866607350594644,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}