{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001372072,0.0004475203,0.0006438735,0.0002500539,0.0002459897,0.0001133511,0.001583178,0.0005027188,0.00007794899],"category_scores_gemma":[0.0005468435,0.0004050762,0.00016963,0.0008596278,0.0008403869,0.001145485,0.0004626228,0.0005203795,0.00005045046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001471372,"about_ca_system_score_gemma":0.00006500856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006997538,"about_ca_topic_score_gemma":0.0009226412,"domain_scores_codex":[0.996226,0.0003548001,0.001134577,0.001008125,0.0007689597,0.0005075358],"domain_scores_gemma":[0.9968374,0.0002517388,0.0005057817,0.001954414,0.0002158339,0.0002347911],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.00007047746,0.0001682119,0.0001391575,0.00005859877,0.00001437461,0.000002892785,0.00009212829,0.000004397544,0.7215875,0.2720816,0.000245924,0.005534708],"study_design_scores_gemma":[0.000344778,0.0009308435,0.9838417,0.0001171434,0.00003350578,0.00007601549,0.00007252522,0.000005283242,0.002760749,0.004478625,0.006910527,0.0004283579],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7886157,0.0009678215,0.004738054,0.002251916,0.00169052,0.004461965,0.00009395078,0.006824894,0.1903552],"genre_scores_gemma":[0.8421912,0.0001552678,0.1570828,0.000209918,0.00004471646,0.0001795478,0.00002022012,0.00003778707,0.00007846663],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9837025,"threshold_uncertainty_score":0.9998401,"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."}}