{"id":"W2981518695","doi":"10.1016/j.cose.2019.101654","title":"Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities","year":2019,"lang":"en","type":"article","venue":"Computers & Security","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":277,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Guelph","funders":"IEEE Foundation","keywords":"Computer science; Correctness; Computer security; Smart contract; Domain (mathematical analysis); Model checking; Software engineering; Blockchain; Formal methods; State (computer science); Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0005367317,0.0002366525,0.0003260207,0.0002119347,0.0001913414,0.0001373475,0.001028437,0.0001660043,0.000006882633],"category_scores_gemma":[0.0000345769,0.0002384717,0.00004996932,0.0004073512,0.0000800015,0.0001707776,0.000896098,0.0002304039,0.00006444736],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003928278,"about_ca_system_score_gemma":0.00003317266,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002709799,"about_ca_topic_score_gemma":0.00006231433,"domain_scores_codex":[0.9982083,0.00009172943,0.0002795265,0.0007804776,0.0002185627,0.0004213456],"domain_scores_gemma":[0.9983579,0.0001905675,0.00007224071,0.001024811,0.0001035355,0.0002509645],"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.00001309473,0.0001816361,0.0008475644,0.0001238211,0.00003392128,0.000003956778,0.01378178,0.000604494,0.00003520575,0.9274741,0.001076823,0.05582362],"study_design_scores_gemma":[0.002260727,0.001212996,0.02504786,0.0002430381,0.00002999012,0.0001772658,0.001797118,0.5249544,0.003460121,0.128326,0.310236,0.002254438],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6859644,0.002689204,0.2662508,0.03932825,0.0006624018,0.001942585,0.00001351015,0.0009116268,0.002237202],"genre_scores_gemma":[0.9791971,0.00006836878,0.0192941,0.001208084,0.00006080381,0.0001264571,0.000003299058,0.00001222758,0.00002960305],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7991481,"threshold_uncertainty_score":0.9724593,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02770141841081921,"score_gpt":0.2258013098955689,"score_spread":0.1980998914847497,"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."}}