{"id":"W1544975162","doi":"10.1007/978-3-540-74984-4_14","title":"Formal Verification of Use Case Maps with Real Time Extensions","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Programming language; Formal verification; Real-time computing","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.005366194,0.00129417,0.0007328741,0.001039687,0.0006851152,0.002654559,0.002647564,0.001394253,0.006184274],"category_scores_gemma":[0.01489012,0.001168536,0.001794332,0.0007230407,0.003695264,0.006685399,0.003134073,0.002480027,0.001099823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009138681,"about_ca_system_score_gemma":0.00187155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001663697,"about_ca_topic_score_gemma":0.001728238,"domain_scores_codex":[0.9935548,0.002063992,0.0004720658,0.0008784682,0.002385366,0.0006452079],"domain_scores_gemma":[0.9854101,0.009179075,0.001020166,0.003003669,0.00121225,0.0001746976],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008546158,0.0003124447,0.002066586,0.001086827,0.0001789149,0.002354493,0.002212318,0.1169847,0.04216548,0.6379397,0.003938009,0.189906],"study_design_scores_gemma":[0.0002190808,0.0002029027,0.0006763999,0.0003298713,0.0002384079,0.0009678112,0.0003414778,0.4730329,0.104959,0.3720967,0.04681865,0.0001168263],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02278637,0.0001959308,0.9652827,0.0001732645,0.00008981545,0.0001834209,0.0001332684,0.004869835,0.006285366],"genre_scores_gemma":[0.602687,0.0003312038,0.3873961,0.0001623717,0.00007550727,0.0003199221,0.0003421224,0.0008663314,0.007819494],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006184274,"threshold_uncertainty_score":0.0283795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0420138429738437,"score_gpt":0.2870835550058629,"score_spread":0.2450697120320192,"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."}}