{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008099881,0.0005442254,0.0007595262,0.0009595165,0.001193804,0.004288161,0.002252797,0.001637906,0.006826347],"category_scores_gemma":[0.01548392,0.0006445392,0.0009270859,0.001710108,0.003372273,0.01343148,0.00378921,0.004514749,0.001031188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002141812,"about_ca_system_score_gemma":0.004754171,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002983273,"about_ca_topic_score_gemma":0.003255105,"domain_scores_codex":[0.9956111,0.00191578,0.0003381587,0.0004060585,0.001374798,0.0003541988],"domain_scores_gemma":[0.9864991,0.006842597,0.0007722561,0.003580534,0.001934224,0.0003712412],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000587318,0.00006979099,0.0004151307,0.000162126,0.00002340924,0.00005687174,0.0004794535,0.03625696,0.001379298,0.8979735,0.002162728,0.06096203],"study_design_scores_gemma":[0.00003001595,0.00003378223,0.00007174187,0.0001198035,0.00002137025,0.00006451367,0.0002149056,0.227156,0.003348052,0.751675,0.01723915,0.00002575306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00915756,0.0003329226,0.9842461,0.001719621,0.00006326307,0.0001276552,0.0001209263,0.0005398045,0.003692049],"genre_scores_gemma":[0.5231271,0.001922228,0.4616748,0.0006751717,0.0001545453,0.0004637111,0.0007282503,0.0004566675,0.01079759],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008099881,"threshold_uncertainty_score":0.04283679,"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."}}