{"id":"W2007822392","doi":"10.4271/2011-01-2530","title":"Verification and Validation of Complex Systems","year":2011,"lang":"en","type":"article","venue":"SAE technical papers on CD-ROM/SAE technical paper series","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Lockheed Martin (Canada)","funders":"","keywords":"Computer science","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.01117828,0.0006744109,0.0007902495,0.001074327,0.0009380383,0.003050479,0.001381832,0.00120947,0.003748943],"category_scores_gemma":[0.03601117,0.0005510684,0.001433526,0.0007846229,0.006433428,0.004058206,0.00316071,0.002111667,0.000726796],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002213608,"about_ca_system_score_gemma":0.002943953,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002690762,"about_ca_topic_score_gemma":0.001321895,"domain_scores_codex":[0.9874066,0.006469223,0.0007486249,0.001275318,0.0035767,0.0005235658],"domain_scores_gemma":[0.9635928,0.02495395,0.001936006,0.006583726,0.002683241,0.0002503333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008251412,0.00005242686,0.001182625,0.000434249,0.00009855409,0.0001825838,0.0003955359,0.1150875,0.0052587,0.8010108,0.002588171,0.07362642],"study_design_scores_gemma":[0.00005278928,0.0000489844,0.0003526887,0.0001844095,0.00002836103,0.0000866116,0.00007439229,0.3466424,0.009113874,0.6275582,0.01581828,0.00003883916],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01579124,0.0004440761,0.9741068,0.001048906,0.0001116111,0.0001065271,0.0001664591,0.0007069756,0.007517356],"genre_scores_gemma":[0.594519,0.001151429,0.3983785,0.0004852391,0.0001716736,0.0004222296,0.0004883148,0.0003055572,0.004078183],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01117828,"threshold_uncertainty_score":0.05911714,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05737524137348675,"score_gpt":0.287185431678746,"score_spread":0.2298101903052592,"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."}}