{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009649916,0.001789261,0.001525927,0.002186245,0.0008283988,0.002972691,0.00122066,0.001278398,0.05167084],"category_scores_gemma":[0.002182874,0.0009836348,0.0008431102,0.002417772,0.002274221,0.004199284,0.001450569,0.003186348,0.02739392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001402538,"about_ca_system_score_gemma":0.00116356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001056533,"about_ca_topic_score_gemma":0.001304721,"domain_scores_codex":[0.9990625,0.0001931445,0.00004046161,0.0001154361,0.00054066,0.00004781463],"domain_scores_gemma":[0.9991178,0.00058544,0.00002721737,0.0001248246,0.0001146779,0.00002996487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002091686,0.00005702223,0.00006528297,0.0005961781,0.00001990591,0.00004712603,0.000334536,0.001819012,0.0009545088,0.5578436,0.1415316,0.2967104],"study_design_scores_gemma":[0.00001360922,0.00001869408,0.00009864423,0.0003192193,0.00001111162,0.0001319827,0.00005103759,0.001888439,0.0004373792,0.3971087,0.5999086,0.00001257594],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00122848,0.08836255,0.3377018,0.004342802,0.004115749,0.0001322281,0.0003553293,0.001655901,0.5621052],"genre_scores_gemma":[0.0266652,0.0485739,0.1008369,0.001549673,0.002162011,0.0003540791,0.0007760388,0.001437963,0.8176443],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05167084,"threshold_uncertainty_score":0.1728562,"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."}}