{"id":"W3206384689","doi":"10.1007/978-3-030-88806-0_21","title":"Compositional Verification of Smart Contracts Through Communication Abstraction","year":2021,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Solidity; Abstraction; Mathematical proof; Parameterized complexity; Bundle; Property (philosophy); State (computer science); Static analysis; Theoretical computer science; Distributed computing; Programming language; Algorithm; Mathematics","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.003129268,0.0007948448,0.0008224741,0.0007177424,0.001149569,0.00181048,0.001982512,0.001073416,0.005316954],"category_scores_gemma":[0.00756541,0.001078784,0.001737335,0.0007144344,0.004344974,0.004070153,0.004672768,0.002994017,0.001160562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001202661,"about_ca_system_score_gemma":0.002070571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001775837,"about_ca_topic_score_gemma":0.00221378,"domain_scores_codex":[0.9962134,0.001200545,0.0001818806,0.0004026434,0.001497298,0.0005041353],"domain_scores_gemma":[0.9941585,0.003118845,0.0002440183,0.001786669,0.0005542141,0.0001377709],"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.0003523575,0.000118932,0.0003690163,0.0003028153,0.00005831624,0.0003228472,0.000778484,0.08881611,0.02572563,0.8183523,0.001931911,0.06287131],"study_design_scores_gemma":[0.0001087368,0.00008138632,0.0001418799,0.0000652453,0.00005845272,0.00009845594,0.0001015781,0.3854319,0.03265453,0.5727161,0.008500762,0.00004097543],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.021284,0.00006991401,0.970414,0.0001559732,0.00005870071,0.0001213414,0.00005852319,0.001530334,0.00630724],"genre_scores_gemma":[0.6736024,0.000195294,0.3172132,0.0001821924,0.00006510386,0.0002721865,0.0002763234,0.0005343606,0.00765892],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005316954,"threshold_uncertainty_score":0.01778692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01666478678254457,"score_gpt":0.2520339808658232,"score_spread":0.2353691940832786,"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."}}