{"id":"W1554979559","doi":"10.1007/978-3-540-77966-7_15","title":"Exploiting Shared Structure in Software Verification Conditions","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Dataflow; Exploit; Granularity; Software verification; Data-flow analysis; Context (archaeology); Software; Data structure; Distributed computing; Code (set theory); Parallel computing; Data flow diagram; Programming language; Software system; Software construction; Database","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.0006811395,0.0005104422,0.0004907923,0.001286116,0.0003508028,0.0003824715,0.003280417,0.0004530367,0.00004155969],"category_scores_gemma":[0.0004592735,0.000535297,0.0001013859,0.00113098,0.0006276953,0.001568399,0.0007218707,0.001105313,0.00003948599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006297886,"about_ca_system_score_gemma":0.0005723157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000022053,"about_ca_topic_score_gemma":0.0000562961,"domain_scores_codex":[0.9959238,0.00008046496,0.0007561753,0.001630054,0.000958227,0.0006512708],"domain_scores_gemma":[0.9970003,0.0003792527,0.0004575467,0.001729124,0.0002914544,0.0001422622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001130448,0.0000614491,0.0004782783,0.0001136377,0.00001340593,0.0001551338,0.005270863,0.07376811,0.001459955,0.04682516,0.0001005974,0.8717421],"study_design_scores_gemma":[0.0007056426,0.0001979747,0.008026625,0.001123342,0.00001021329,0.0003837769,0.000001334564,0.7664926,0.007486303,0.2109293,0.002743729,0.001899149],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005891272,0.0002867429,0.995921,0.0002068009,0.001462444,0.0005124704,0.00003276073,0.0002600448,0.0007286542],"genre_scores_gemma":[0.08528615,0.00007483145,0.9136482,0.0005429935,0.0002561079,0.00002550892,0.00005110056,0.00003786063,0.00007719583],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8698429,"threshold_uncertainty_score":0.9997098,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03528894889525886,"score_gpt":0.281387366251264,"score_spread":0.2460984173560051,"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."}}