{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005873604,0.0002649142,0.0003776251,0.0003186483,0.0002656592,0.0001371618,0.002102482,0.0004237033,0.00002207473],"category_scores_gemma":[0.00004665868,0.0002846826,0.00009585237,0.0005059576,0.0008207822,0.0004808808,0.0005649996,0.0007581767,0.00001492915],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001909777,"about_ca_system_score_gemma":0.0003647257,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004293092,"about_ca_topic_score_gemma":0.00007669668,"domain_scores_codex":[0.9977465,0.00003974199,0.0005648292,0.0008346315,0.0005504026,0.0002638994],"domain_scores_gemma":[0.9966463,0.0003942039,0.000510264,0.001880504,0.0005172638,0.00005140971],"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.000006069272,0.0001293911,0.00002859675,0.00003041592,0.00001861245,0.000007833912,0.0004224295,0.002972081,0.002995566,0.784358,0.00002624317,0.2090048],"study_design_scores_gemma":[0.0004551944,0.0001515185,0.001520134,0.0004898643,0.00002106839,0.0001421794,9.767103e-7,0.1489303,0.05203446,0.7898429,0.005712092,0.0006993776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000669922,0.001005696,0.9922414,0.002120537,0.0003411378,0.0003069708,0.00000911277,0.0001234483,0.00318172],"genre_scores_gemma":[0.6421927,0.0002071328,0.3570451,0.0003798835,0.00005585328,0.00001838138,0.00004049767,0.00001212074,0.00004828884],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6415228,"threshold_uncertainty_score":0.9999605,"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."}}