{"id":"W2103927343","doi":"10.1109/csd.2004.1309128","title":"Equivalence verification of timed transition models","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Automaton; Transition system; Computer science; Equivalence (formal languages); Model checking; Formal verification; Programming language; Theoretical computer science; Finite-state machine; Event (particle physics); Bisimulation; Transition (genetics); State (computer science); Temporal logic; Mathematics; Discrete 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003237962,0.00005646896,0.00007251132,0.00006343174,0.00003132239,0.00001741343,0.0004224983,0.00004016975,0.000006717704],"category_scores_gemma":[0.00001802864,0.00005405358,0.00003138804,0.0002899975,0.00003052174,0.001004996,0.00002327886,0.00004277777,0.00002564947],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003906794,"about_ca_system_score_gemma":0.00004312183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002655356,"about_ca_topic_score_gemma":5.458025e-7,"domain_scores_codex":[0.9992926,0.00003571119,0.0001948323,0.0001804169,0.0001947206,0.0001017066],"domain_scores_gemma":[0.9993587,0.00001098657,0.00007206245,0.0004403889,0.0000866702,0.00003122144],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004206682,0.00004215892,5.718764e-7,0.00001322079,0.000002193233,1.996167e-7,0.0008891865,0.02196252,0.03844888,0.9234885,0.000007220759,0.01514114],"study_design_scores_gemma":[0.0002551163,0.00007294506,0.0004249282,0.00001919724,0.000003133264,0.000005250773,0.00003451399,0.522444,0.3326643,0.1439542,0.00002395798,0.00009847275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01149712,0.00002026311,0.9827076,0.0003277772,0.00009593747,0.0001105942,7.569517e-7,0.0001163046,0.005123596],"genre_scores_gemma":[0.5089431,0.0000078168,0.4909735,0.00004443957,0.000005327166,0.000005704755,0.000001036303,0.000001789809,0.00001729638],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7795343,"threshold_uncertainty_score":0.2204241,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04415425353807517,"score_gpt":0.2788834456373667,"score_spread":0.2347291920992916,"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."}}