{"id":"W2962297646","doi":"10.1007/978-3-030-25540-4_11","title":"Automated Hypersafety Verification","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Correctness; Counterexample; Reduction (mathematics); Key (lock); Property (philosophy); Programming language; Set (abstract data type); Product (mathematics); Formal verification; Theoretical computer science; Class (philosophy); Functional verification; Algorithm; Mathematics; Discrete mathematics; Artificial intelligence; Operating system","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.001023963,0.0004708188,0.00046545,0.0007467853,0.0003022732,0.0005941858,0.003924977,0.0004009985,0.00003138935],"category_scores_gemma":[0.0001003618,0.0004784936,0.0001340714,0.0007895952,0.0004076652,0.0006951223,0.0009544639,0.0007720168,0.0004249647],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004354814,"about_ca_system_score_gemma":0.0009263061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000151113,"about_ca_topic_score_gemma":0.000008078745,"domain_scores_codex":[0.9960549,0.00004566533,0.000616637,0.001733731,0.0009594912,0.0005896073],"domain_scores_gemma":[0.9965,0.0004820884,0.0004057683,0.002148655,0.0003209719,0.0001425344],"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.000008006532,0.00005511279,0.00007667283,0.00009106864,0.000021512,0.00003180495,0.001591714,0.0677839,0.0004965915,0.2461721,0.0001539227,0.6835176],"study_design_scores_gemma":[0.0002060261,0.00006991073,0.0003489684,0.000220296,0.000005094853,0.00004713226,1.663511e-7,0.9640194,0.0008099612,0.0279948,0.005694754,0.0005834732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007623535,0.000287786,0.9849715,0.0009842984,0.00316939,0.0004107654,0.000003765341,0.0009776755,0.009118633],"genre_scores_gemma":[0.4015489,0.00008777015,0.5941693,0.002522347,0.0007377639,0.00001032442,0.00002609769,0.00006821845,0.0008293638],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8962355,"threshold_uncertainty_score":0.9997666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02087024869430514,"score_gpt":0.2551521743188784,"score_spread":0.2342819256245733,"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."}}