{"id":"W1606540187","doi":"10.1007/978-3-540-71209-1_4","title":"A Reachability Predicate for Analyzing Low-Level Software","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Reachability; Computer science; Programming language; Predicate abstraction; Pointer (user interface); Heap (data structure); Predicate (mathematical logic); Separation logic; Theoretical computer science; Artificial intelligence; Model checking","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.003002533,0.0005941057,0.0007095647,0.0007781678,0.0003826718,0.0005865082,0.003756263,0.0005108779,0.000008173357],"category_scores_gemma":[0.0003907502,0.0005107173,0.0002920984,0.0006614206,0.0007304579,0.0005096401,0.001141294,0.0007021198,0.00003043284],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003935901,"about_ca_system_score_gemma":0.0006210366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006728877,"about_ca_topic_score_gemma":0.0001887741,"domain_scores_codex":[0.9950796,0.00003816958,0.0007769496,0.002076695,0.0009995766,0.001029058],"domain_scores_gemma":[0.996087,0.0008646512,0.0004611578,0.001835943,0.0004740687,0.0002771363],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008582041,0.00004008265,0.0003152249,0.0001770268,0.00001892514,0.00003409658,0.0006212234,0.001175351,0.00001892467,0.0443039,0.00002673443,0.9532599],"study_design_scores_gemma":[0.0006784486,0.0005046309,0.0003931788,0.0002576385,0.00002728274,0.00009852753,3.146662e-7,0.1579003,0.0008321962,0.8250653,0.01277678,0.001465355],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000218891,0.0005274178,0.9944105,0.0002086368,0.002294201,0.001010714,0.000008751756,0.0003598046,0.001158067],"genre_scores_gemma":[0.1709997,0.0000186146,0.8259871,0.000824596,0.001157903,0.00004957809,0.00001874705,0.00005925509,0.0008844681],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9517946,"threshold_uncertainty_score":0.9997345,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0468325491981635,"score_gpt":0.2779686562504431,"score_spread":0.2311361070522796,"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."}}