{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002006806,0.0005628003,0.0005659671,0.001162421,0.000841837,0.001766029,0.002047044,0.000772811,0.004672408],"category_scores_gemma":[0.00660302,0.0005560293,0.001368565,0.0007232322,0.00238144,0.004263958,0.003105232,0.002007115,0.001174801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007526783,"about_ca_system_score_gemma":0.001639026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001165366,"about_ca_topic_score_gemma":0.001070683,"domain_scores_codex":[0.9961647,0.0009679548,0.0002058749,0.0006705978,0.001731856,0.0002590088],"domain_scores_gemma":[0.9924177,0.003597806,0.00040265,0.00271736,0.0007847872,0.00007969251],"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.0003014641,0.0001625494,0.002858101,0.0006137194,0.00013566,0.0007757201,0.001040595,0.04928119,0.09178901,0.5373485,0.005602181,0.3100912],"study_design_scores_gemma":[0.00007954149,0.0001835568,0.001023291,0.0001378738,0.00008133533,0.0009509802,0.0001994036,0.3339196,0.1826522,0.4271288,0.05355401,0.00008941402],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01812868,0.0001221534,0.9738349,0.0001612167,0.0000227872,0.0001048117,0.0001736608,0.002878544,0.004573165],"genre_scores_gemma":[0.2915178,0.0003237385,0.7017869,0.0001661082,0.00003691071,0.0002637063,0.0007051398,0.0006816351,0.004518071],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004672408,"threshold_uncertainty_score":0.01563078,"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."}}