{"id":"W2045280800","doi":"10.1145/2491411.2494596","title":"RiTHM: a tool for enabling time-triggered runtime verification for C programs","year":2013,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Runtime verification; Formal verification; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00030491,0.000105136,0.0001270877,0.00008186031,0.0001599887,0.0003761722,0.0004856571,0.00006256188,0.00001518401],"category_scores_gemma":[0.00007193954,0.0000924404,0.0000799107,0.0002144394,0.00001474392,0.0004410963,0.00006105816,0.00003345263,0.00007359873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000234033,"about_ca_system_score_gemma":0.00003722601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001334861,"about_ca_topic_score_gemma":1.856848e-7,"domain_scores_codex":[0.9990796,0.00001854824,0.0002276466,0.0003238931,0.0001038991,0.0002464353],"domain_scores_gemma":[0.9990746,0.0001076001,0.00008991352,0.0003556982,0.0003281585,0.00004399813],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001976183,0.0003468517,0.00006810195,0.00009083673,0.00005048775,2.761931e-7,0.0004264342,0.001336125,0.005237023,0.0763262,0.06524063,0.8508573],"study_design_scores_gemma":[0.0003366267,0.0001299181,0.00003900825,0.00001234445,0.00000351004,0.000001712128,0.000003313087,0.9688554,0.005532871,0.006434584,0.0184826,0.000168082],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008277274,0.00002520309,0.9946623,0.0007093319,0.00006756328,0.00179197,9.86661e-7,0.001124635,0.0007902774],"genre_scores_gemma":[0.0285686,0.000004167891,0.9659093,0.0002089115,0.00006362673,0.001010396,0.00002721218,0.00001195141,0.004195828],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9675193,"threshold_uncertainty_score":0.376961,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01923645124537866,"score_gpt":0.2547115679564676,"score_spread":0.2354751167110889,"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."}}