{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00183419,0.0004291382,0.0004699098,0.0009660979,0.0002576533,0.0002435088,0.001842013,0.0003339677,0.00001139652],"category_scores_gemma":[0.0001507273,0.0003667859,0.00009068465,0.0008738405,0.0009194057,0.001868168,0.0006676246,0.0005887724,0.00003204945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002476097,"about_ca_system_score_gemma":0.0004287513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007326341,"about_ca_topic_score_gemma":0.00004825002,"domain_scores_codex":[0.9965311,0.00005562473,0.0006811197,0.001146924,0.0009755273,0.0006097269],"domain_scores_gemma":[0.9961011,0.0005152003,0.0005805261,0.002029011,0.0006025949,0.0001715122],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005360629,0.00006659403,0.00004189091,0.00006262424,0.0000177951,0.0008500349,0.001055417,0.01334255,0.00146572,0.1340843,0.00001726516,0.8489422],"study_design_scores_gemma":[0.0005669052,0.0008481022,0.000911525,0.0006181275,0.0000354355,0.005010908,7.668932e-7,0.9546574,0.01069758,0.02387979,0.001530822,0.001242658],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009457113,0.00004753497,0.9948824,0.00006694655,0.0005589633,0.0004589023,0.00001217042,0.0001435409,0.002883813],"genre_scores_gemma":[0.02316038,0.00003083686,0.9761931,0.0002018378,0.0001253364,0.000006238596,0.00001083088,0.00003029125,0.0002411755],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9413148,"threshold_uncertainty_score":0.9998784,"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."}}