{"id":"W1537351342","doi":"10.1007/3-540-47884-1_6","title":"Assume-Guarantee Algorithms for Automatic Detection of Software Failures","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Formalism (music); Finite-state machine; Software; Key (lock); State (computer science); Algorithm; Detector; Programming language; 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.008626629,0.001963471,0.002557697,0.00189815,0.001813596,0.003275929,0.00622325,0.002507523,0.008804557],"category_scores_gemma":[0.04385538,0.002131611,0.00242415,0.00138403,0.003513752,0.009267751,0.006250262,0.006691305,0.002261098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002318104,"about_ca_system_score_gemma":0.003454985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001710171,"about_ca_topic_score_gemma":0.003453522,"domain_scores_codex":[0.9902366,0.002409888,0.0009222509,0.001380557,0.004037911,0.0010128],"domain_scores_gemma":[0.9371014,0.04563082,0.003237201,0.0102515,0.003045121,0.0007339941],"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.004624103,0.0005641622,0.004934931,0.000817198,0.0004013968,0.0002610876,0.00112265,0.1840549,0.01893655,0.2159803,0.01288883,0.5554139],"study_design_scores_gemma":[0.0003168639,0.0002137392,0.0005873035,0.00006910317,0.0001862397,0.0001611801,0.000090915,0.6989335,0.0173635,0.2797786,0.002242523,0.00005652087],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009107701,0.0002402325,0.9852875,0.000286862,0.00003649049,0.00006447213,0.00008620803,0.003797265,0.001093269],"genre_scores_gemma":[0.3377937,0.0003065603,0.6571038,0.0003165237,0.000180722,0.0003445544,0.0004268642,0.0009750166,0.002552325],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008804557,"threshold_uncertainty_score":0.04562253,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03209195549356824,"score_gpt":0.2801008445614702,"score_spread":0.248008889067902,"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."}}