{"id":"W1583523918","doi":"10.1007/978-3-540-77395-5","title":"Runtime verification : 7th International workshop, RV 2007, Vancover, Canada, March 13, 2007, revised selected papers","year":2007,"lang":"en","type":"book","venue":"Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B))","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Runtime verification; Computer science; Functional verification; Software verification; Intelligent verification; High-level verification; Formal verification; Programming language; Runtime system; Model checking; Probabilistic logic; Semantics (computer science); Software; Software system","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":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.0005361211,0.001331496,0.001374103,0.001476481,0.001145738,0.001443307,0.003005037,0.001081748,0.00142624],"category_scores_gemma":[0.0001578441,0.001491873,0.0005319518,0.001531667,0.0005384338,0.001333386,0.001387302,0.001340865,0.0001135907],"about_ca_system_candidate":true,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007872325,"about_ca_system_score_gemma":0.001774411,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01078746,"about_ca_topic_score_gemma":0.006703036,"domain_scores_codex":[0.995005,0.0002565158,0.000766353,0.001299675,0.001187275,0.001485221],"domain_scores_gemma":[0.995665,0.0008693167,0.0006165894,0.001125158,0.0006538438,0.001070072],"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.01426396,0.0003442513,0.003774779,0.001367933,0.007286947,0.005497949,0.04178718,0.05630679,0.0003952176,0.1258045,0.6981955,0.04497506],"study_design_scores_gemma":[0.004448283,0.00008100379,0.003542354,0.0004120452,0.0004541649,0.0001495862,0.00112405,0.01067695,0.00003865144,0.0004069973,0.9770375,0.001628457],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.009732819,0.001879311,0.006082639,0.002478513,0.001199131,0.002208558,0.001263236,0.0009118532,0.9742439],"genre_scores_gemma":[0.2029073,0.001853743,0.0002563205,0.001486274,0.000804127,0.00001616478,0.003036052,0.0004003679,0.7892397],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.278842,"threshold_uncertainty_score":0.9999436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00696696051803656,"score_gpt":0.1909371109585057,"score_spread":0.1839701504404692,"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."}}