{"id":"W1988506401","doi":"10.1145/2089116.2089119","title":"Weak Alphabet Merging of Partial Behavior Models","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Viewpoints; Alphabet; Property (philosophy); Process (computing); Algebraic properties; Theoretical computer science; Component (thermodynamics); Extension (predicate logic); Programming language; Mathematics","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.004931708,0.0007871359,0.000840826,0.001594099,0.001132843,0.00214246,0.002451977,0.00111651,0.002483103],"category_scores_gemma":[0.01645885,0.0009443288,0.002671444,0.00100416,0.002195061,0.004869159,0.004971801,0.001940821,0.0005151603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001517336,"about_ca_system_score_gemma":0.002760039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00430238,"about_ca_topic_score_gemma":0.006044613,"domain_scores_codex":[0.9943957,0.001879432,0.0005711844,0.0008441873,0.001846261,0.0004632382],"domain_scores_gemma":[0.9872285,0.005640464,0.0009072436,0.004245615,0.001665302,0.0003128934],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005860697,0.0002527453,0.008190339,0.0005972785,0.0002497079,0.001261007,0.004370173,0.428552,0.04776376,0.3665255,0.001362719,0.1402888],"study_design_scores_gemma":[0.00003626349,0.0002104156,0.0006406176,0.000088274,0.0001623861,0.00020941,0.0005015284,0.7514014,0.03546871,0.2026161,0.008603143,0.00006171552],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03660271,0.00005314432,0.9605004,0.0001200317,0.00001540773,0.0001153126,0.00009877506,0.0009701324,0.001524035],"genre_scores_gemma":[0.3947195,0.0001322053,0.6012747,0.0001109211,0.00001752457,0.000287264,0.0005778424,0.0002993987,0.002580782],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004931708,"threshold_uncertainty_score":0.02608162,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1324992871004662,"score_gpt":0.3405071310571707,"score_spread":0.2080078439567045,"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."}}