{"id":"W4389296463","doi":"10.1109/sds59856.2023.10328964","title":"Natural Language-Based Model-Checking Framework for Move Smart Contracts","year":2023,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Model checking; Debugging; Software engineering; Context (archaeology); Compiler; Programming language; Human–computer interaction","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.005553071,0.001008845,0.0008324783,0.001965181,0.001198623,0.003304317,0.002991897,0.001522364,0.007238395],"category_scores_gemma":[0.009070102,0.001126056,0.002678459,0.0007667395,0.003317131,0.004787518,0.002471473,0.003194918,0.001374865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003045765,"about_ca_system_score_gemma":0.005286301,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01172323,"about_ca_topic_score_gemma":0.01538933,"domain_scores_codex":[0.9958491,0.001557788,0.0003820497,0.0005898204,0.001359155,0.0002621166],"domain_scores_gemma":[0.9948781,0.00305597,0.0004109927,0.0007571909,0.0008059483,0.00009186666],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001463534,0.0002161664,0.000817064,0.0005778839,0.0001122355,0.0008352349,0.001131247,0.18832,0.01239409,0.7395557,0.005861884,0.05003216],"study_design_scores_gemma":[0.00006534407,0.00007231412,0.0002015343,0.0001533962,0.00006208463,0.0002522562,0.0001308708,0.8124591,0.01229043,0.1375793,0.03666417,0.00006924693],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002455381,0.0000506759,0.9901283,0.000232835,0.0000244887,0.000157863,0.000171435,0.004997296,0.001781752],"genre_scores_gemma":[0.1334257,0.0001715286,0.860045,0.0002562487,0.00004076839,0.0005699383,0.0007108276,0.001011439,0.003768506],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01172323,"threshold_uncertainty_score":0.0293678,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01701851285706112,"score_gpt":0.284919632059549,"score_spread":0.2679011192024878,"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."}}