{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002955817,0.0004415421,0.0004331325,0.0003053043,0.0005489666,0.0004664964,0.00342379,0.0004745315,0.01326423],"category_scores_gemma":[0.0000987981,0.0005196355,0.0002264593,0.0004606945,0.00007723428,0.001319245,0.0001790846,0.0004369171,0.0005477242],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003344837,"about_ca_system_score_gemma":0.000208828,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000880229,"about_ca_topic_score_gemma":0.0001304344,"domain_scores_codex":[0.997379,0.000241384,0.0003987797,0.0009687926,0.0005228399,0.0004892126],"domain_scores_gemma":[0.9969228,0.00004136334,0.0008280238,0.001767147,0.0002475633,0.0001930921],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001438819,0.0001044946,0.0003775435,0.0001677911,0.00008188849,0.00005068334,0.0008132305,0.00003843212,0.001236748,0.06284026,0.001346286,0.9327987],"study_design_scores_gemma":[0.0009470025,0.00008242446,0.01089383,0.000176015,0.0001208243,0.000006254,0.0004481389,0.00459002,0.007544136,0.0005224173,0.9738443,0.0008246402],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001850896,0.0002277131,0.1243303,0.00007930327,0.002618551,0.000659569,0.00001604316,0.0004025502,0.8698151],"genre_scores_gemma":[0.00475959,0.0002039048,0.115869,0.00004738139,0.00009046659,0.000005931776,0.0002465282,0.0000506678,0.8787265],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.972498,"threshold_uncertainty_score":0.9997255,"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."}}