{"id":"W4388511321","doi":"10.1007/978-981-99-7584-6","title":"Formal Methods and Software Engineering","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"Universitat Politècnica de València; Japan Aerospace Exploration Agency; University of Science and Technology Beijing; National Cheng Kung University; Academia Româna; Syddansk Universitet; Universitetet i Oslo; Shanghai Jiao Tong University; Zhejiang University; East China Normal University; Tongji University; Università degli Studi di Trento; Universidad Complutense de Madrid; Chinese Academy of Sciences; Fondazione Bruno Kessler; Peking University; Academia Sinica; University of New South Wales; National Institute of Informatics; Aston University; Victoria University of Wellington; National University of Singapore; Griffith University; Nanyang Technological University; Indian Institute of Technology Kanpur; Université de Sherbrooke; National Aeronautics and Space Administration; Singapore Management University; Università degli Studi di Milano; Concordia University; McMaster University; Technische Universität Darmstadt; Teesside University; Langley Research Center; Eidgenössische Technische Hochschule Zürich; Universidade de São Paulo; RMIT University; Carnegie Mellon University; Southwest University; Université de Lorraine; Florida International University; Victoria University; Université du Luxembourg","keywords":"Computer science; Software engineering; Formal methods; Formal verification; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.003524518,0.000420614,0.0004460144,0.0009985805,0.0002145568,0.0005503694,0.002855401,0.0003252424,0.000002046554],"category_scores_gemma":[0.001263023,0.0004064209,0.00007606398,0.001592312,0.0003430895,0.001330813,0.002390723,0.0008384559,0.00002411055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003439576,"about_ca_system_score_gemma":0.0005603672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000565629,"about_ca_topic_score_gemma":0.000004477231,"domain_scores_codex":[0.9967305,0.0000971053,0.0004596849,0.001260812,0.0006525626,0.0007993179],"domain_scores_gemma":[0.9970336,0.001194912,0.0001966974,0.001262938,0.0001420063,0.0001698555],"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.000001291571,0.000005900313,0.00002332121,0.00009720924,0.000005599886,0.00001835981,0.0005554209,0.01881646,0.0001015437,0.008558258,0.00002883077,0.9717878],"study_design_scores_gemma":[0.0001160759,0.00008477372,0.0006358018,0.0002364907,0.000004902755,0.00007402244,8.900802e-8,0.9547754,0.002026315,0.03999578,0.001539411,0.000510925],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002836233,0.0003491706,0.9953991,0.00009226225,0.003096761,0.0002867228,0.000002563299,0.0005812042,0.0001639104],"genre_scores_gemma":[0.0001792328,0.000035496,0.9987007,0.0002846713,0.0003027043,0.00002124715,0.000003339321,0.00003772286,0.0004349205],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9712769,"threshold_uncertainty_score":0.9998388,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0247635549602331,"score_gpt":0.3141545981957446,"score_spread":0.2893910432355116,"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."}}