{"id":"W7046442857","doi":"","title":"Decentralized Crash-Resilient Runtime Verification","year":2017,"lang":"en","type":"dissertation","venue":"MacSphere (McMaster University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00467145,0.0007176286,0.001101935,0.0008188827,0.001255746,0.002074998,0.002663051,0.0009388635,0.008907829],"category_scores_gemma":[0.01844149,0.0007432271,0.0009319386,0.0006249975,0.001743947,0.003309351,0.005174649,0.002629602,0.003148503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001605697,"about_ca_system_score_gemma":0.003713824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001286684,"about_ca_topic_score_gemma":0.002100959,"domain_scores_codex":[0.993588,0.001955091,0.0002499905,0.001029261,0.002271544,0.0009061424],"domain_scores_gemma":[0.9796343,0.00468418,0.0006860443,0.01178583,0.002663535,0.0005459863],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001894337,0.0003837693,0.003682213,0.0006023857,0.0002195071,0.0006639503,0.0006808711,0.3545722,0.04693022,0.2808658,0.04507927,0.2644255],"study_design_scores_gemma":[0.000230388,0.0001701931,0.0006572898,0.00007471396,0.0001148763,0.0001987241,0.0001178327,0.7408152,0.03692305,0.1994004,0.02124522,0.0000521324],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04525384,0.0003752516,0.9161083,0.001701783,0.0004164303,0.0002367685,0.0003736748,0.01586765,0.01966623],"genre_scores_gemma":[0.8576612,0.0002253157,0.1300148,0.0003572429,0.0002013691,0.0002350699,0.0005960625,0.001261344,0.009447468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008907829,"threshold_uncertainty_score":0.02979964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0212434958791912,"score_gpt":0.2604139779469768,"score_spread":0.2391704820677856,"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."}}