{"id":"W101497066","doi":"10.1007/978-3-540-73368-3_41","title":"Structural Abstraction of Software Verification Conditions","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":63,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Abstraction; Software verification; Software; Programming language; Context (archaeology); Statement (logic); Verification and validation; Software framework; Theoretical computer science; Software construction; Software system; 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.002085756,0.0009382935,0.0006666925,0.00154654,0.0007048415,0.001692274,0.001185581,0.0008334944,0.009093189],"category_scores_gemma":[0.005746837,0.0008629301,0.001240545,0.001034366,0.00320989,0.004994316,0.00209978,0.003113237,0.002406552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001352053,"about_ca_system_score_gemma":0.001263579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006047566,"about_ca_topic_score_gemma":0.0006410739,"domain_scores_codex":[0.997916,0.0005937649,0.000150614,0.0002917079,0.000815409,0.0002325208],"domain_scores_gemma":[0.9966484,0.001821936,0.0001886035,0.0007685289,0.0004857813,0.00008673823],"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.00003912692,0.00001614891,0.00007232596,0.00009562555,0.000007795575,0.0000662873,0.0001823988,0.003467957,0.002340998,0.9646292,0.001589689,0.0274926],"study_design_scores_gemma":[0.0000269355,0.00004017896,0.0001169926,0.00006673604,0.00003169942,0.0001257738,0.00004218127,0.02188582,0.005637656,0.9499218,0.02208815,0.00001598847],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008148692,0.000495405,0.9576575,0.0003277886,0.000191639,0.0001021956,0.0001090465,0.001064723,0.03190315],"genre_scores_gemma":[0.5246643,0.001134174,0.4496519,0.0003358016,0.0004475508,0.0004263465,0.000588118,0.0006866127,0.02206507],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009093189,"threshold_uncertainty_score":0.03041977,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.043871529287083,"score_gpt":0.3166956051957158,"score_spread":0.2728240759086328,"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."}}