{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002540177,0.001849619,0.0009872076,0.001810864,0.000509263,0.001738717,0.003145752,0.001323975,0.01372834],"category_scores_gemma":[0.01008705,0.001314596,0.001793192,0.0008421238,0.001321628,0.002936892,0.002505332,0.002543435,0.004045998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008346941,"about_ca_system_score_gemma":0.001912158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002349763,"about_ca_topic_score_gemma":0.002502506,"domain_scores_codex":[0.9967553,0.000729666,0.0003232315,0.0006273692,0.001179655,0.0003848373],"domain_scores_gemma":[0.9950011,0.002839122,0.0005295633,0.001056106,0.0004615961,0.0001123457],"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.001852888,0.0003472384,0.005701959,0.002876253,0.0005085514,0.001892728,0.0009161349,0.1155059,0.09260377,0.1175315,0.0986998,0.5615632],"study_design_scores_gemma":[0.0004260234,0.0003643275,0.001803677,0.0006131985,0.0001836038,0.001239128,0.0000895135,0.6289204,0.1886663,0.05730222,0.1200738,0.0003178418],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00343612,0.0002110805,0.8147648,0.0001039466,0.00005762469,0.0001148757,0.0008639743,0.178277,0.002170501],"genre_scores_gemma":[0.2066986,0.0005808541,0.7510213,0.0006781039,0.0001405255,0.0008665606,0.003609478,0.03072607,0.005678561],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01372834,"threshold_uncertainty_score":0.04592592,"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."}}