{"id":"W2096425546","doi":"10.1007/s007660200017","title":"Guest Editorial: Special Issue on Model Checking in Requirements Engineering","year":2002,"lang":"en","type":"editorial","venue":"Requirements Engineering","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Model checking; Computer science; Debugging; Formal methods; Abstraction; Formal verification; Programming language; Software engineering; Formal specification; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006813257,0.003538888,0.004147815,0.004603601,0.002146456,0.007124015,0.003046722,0.01078399,0.01805787],"category_scores_gemma":[0.02486028,0.001263895,0.002762556,0.001381804,0.001872139,0.003783901,0.001302775,0.0133284,0.01017609],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001718309,"about_ca_system_score_gemma":0.001701028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008453066,"about_ca_topic_score_gemma":0.002295597,"domain_scores_codex":[0.995366,0.0009419895,0.0005765005,0.0005180786,0.002317404,0.0002800334],"domain_scores_gemma":[0.977506,0.009056666,0.001347636,0.0006208163,0.009570983,0.001897763],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005038094,0.00001685636,0.00001545093,0.0002278405,0.0000262109,0.0001046277,0.000006609486,0.00003679352,0.0000807555,0.000342698,0.9932966,0.005795261],"study_design_scores_gemma":[0.000120322,0.00004649918,0.0002367626,0.0004577904,0.0001386449,0.0003408123,0.00002308696,0.0005302688,0.0003157168,0.001982065,0.9957825,0.00002553418],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.00003166033,0.003389626,0.0004091033,0.01441536,0.9802346,0.00001460235,0.00003262337,0.00006494605,0.001407585],"genre_scores_gemma":[0.0006822838,0.004567469,0.0003389306,0.0102257,0.9680176,0.0000308805,0.00006222395,0.00008360237,0.01599142],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.01805787,"threshold_uncertainty_score":0.06040967,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03224077244937619,"score_gpt":0.2969755649954588,"score_spread":0.2647347925460826,"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."}}