{"id":"W2065519647","doi":"10.1002/j.2334-5837.2004.tb00620.x","title":"9.2.2 UML‐PVS Requirement Specification and Verification","year":2004,"lang":"en","type":"article","venue":"INCOSE International Symposium","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Unified Modeling Language; Programming language; Formal specification; UML tool; Oracle; B-Method; Applications of UML; Formal methods; Model checking; Software engineering; Software","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":[],"consensus_categories":[],"category_scores_codex":[0.0001240605,0.00013674,0.00009692098,0.00008999774,0.00003325884,0.00006073341,0.0001850534,0.00006550275,0.0000287164],"category_scores_gemma":[0.00001297962,0.0001559993,0.0000304874,0.00008860325,0.00002426862,0.0002372894,0.00002766608,0.00009459548,0.0001460363],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005414344,"about_ca_system_score_gemma":0.00001261842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003060132,"about_ca_topic_score_gemma":0.000004771361,"domain_scores_codex":[0.9991516,0.000005091054,0.000292982,0.0001896376,0.000222508,0.0001381274],"domain_scores_gemma":[0.9996099,0.00001727827,0.00004117814,0.0002096433,0.00006111811,0.00006087724],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002479457,0.0001111746,0.001273983,0.000116779,0.0002403011,0.00001929184,0.001419625,0.4373347,0.4726069,0.07456513,0.0008101485,0.01147718],"study_design_scores_gemma":[0.004374825,0.0001580633,0.09401396,0.000606564,0.00006930492,0.0004025758,0.0002444198,0.1563955,0.2388707,0.005259389,0.4976547,0.001949936],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6744817,0.0008017647,0.2301663,0.006232277,0.009575334,0.0009494041,0.00005726456,0.002190575,0.07554539],"genre_scores_gemma":[0.9972638,0.0001411271,0.00193968,0.00003322786,0.0003617613,0.00006572186,0.00004379738,0.00003385681,0.0001170005],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4968446,"threshold_uncertainty_score":0.6361468,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008507876568797597,"score_gpt":0.2079600058527954,"score_spread":0.1994521292839978,"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."}}