{"id":"W7071192861","doi":"","title":"Runtime verification 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007 ; revised selected papers","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Runtime verification; Formal verification; Software; Software verification; Context (archaeology)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001577371,0.0002166761,0.0001847338,0.0002000375,0.0001698465,0.0001241864,0.001511457,0.0001274686,0.0007225647],"category_scores_gemma":[0.0005292704,0.0002169191,0.00005019408,0.001113999,0.000054158,0.0006249532,0.0001622496,0.0002896496,0.00007839926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006732026,"about_ca_system_score_gemma":0.0005636847,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.02428914,"about_ca_topic_score_gemma":0.1032795,"domain_scores_codex":[0.9973456,0.0001139325,0.0005594473,0.0005897133,0.0008631585,0.0005281267],"domain_scores_gemma":[0.9979968,0.0002262509,0.0002273162,0.0008287908,0.000526609,0.000194248],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001691603,0.0002255118,0.00382907,0.00004019014,0.0001331339,0.00003525957,0.000365394,0.0005789335,0.008134482,0.03583077,0.7400813,0.2105768],"study_design_scores_gemma":[0.0009115302,0.00006436371,0.1211046,0.00005608593,0.00001793755,0.0000222749,0.0001971517,0.1008428,0.01027256,0.0002306793,0.7654836,0.0007964461],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001926858,0.00007954089,0.9102314,0.0006776949,0.006415397,0.0003639722,0.000005271647,0.0002765988,0.0800233],"genre_scores_gemma":[0.1406451,0.00006826918,0.8314068,0.001858248,0.0005525368,0.00003392983,0.00006328156,0.00003634968,0.02533542],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2097803,"threshold_uncertainty_score":0.9822082,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01336769192757284,"score_gpt":0.2674002270225395,"score_spread":0.2540325350949666,"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."}}