{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001707867,0.0009919688,0.0008916523,0.001090958,0.0001088165,0.0004303555,0.002588237,0.001201634,0.00002384086],"category_scores_gemma":[0.001989469,0.001195209,0.0002020693,0.0009107374,0.0000230645,0.001518081,0.0006361336,0.001901472,0.0001787511],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001844286,"about_ca_system_score_gemma":0.0001475454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002210626,"about_ca_topic_score_gemma":0.000002158925,"domain_scores_codex":[0.9930773,0.00007435806,0.001339834,0.001418549,0.002811651,0.001278333],"domain_scores_gemma":[0.9971771,0.0002583053,0.0004399731,0.001659347,0.0002152027,0.0002500542],"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.00001402414,0.0001182032,0.000002617343,0.0003059595,0.00006027535,0.00002612017,0.0003311133,0.1640973,0.0007811499,0.0009753142,0.8314559,0.001831977],"study_design_scores_gemma":[0.0005407885,0.00007504881,0.000004272106,0.0007225357,0.00001444635,6.830286e-7,0.000001693118,0.4149229,0.0007064147,0.00001956438,0.5823033,0.0006882601],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.00002544573,0.00008487693,0.1059992,0.00001809651,0.89084,0.0005474454,0.00002388856,0.0005387004,0.001922327],"genre_scores_gemma":[0.00008718582,0.0001616413,0.1038391,0.0000132082,0.8951035,0.0001420819,0.00006831584,0.0001799546,0.000405065],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.2508256,"threshold_uncertainty_score":0.9990498,"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."}}