{"id":"W2104141758","doi":"","title":"Towards integrated verification of timed transition models","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Model checking; Computer science; Automaton; Equivalence (formal languages); Temporal logic; Transition system; Formal verification; Abstraction model checking; Event (particle physics); Programming language; Theoretical computer science; State (computer science); Truth value; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005557509,0.0006946989,0.0007390336,0.001292793,0.0005117455,0.002083604,0.001715363,0.0008138693,0.002939397],"category_scores_gemma":[0.01075017,0.0008236364,0.002009613,0.001028943,0.00221998,0.004042226,0.00425199,0.0031757,0.0005955112],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00122887,"about_ca_system_score_gemma":0.002175064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001854706,"about_ca_topic_score_gemma":0.001871448,"domain_scores_codex":[0.9943714,0.001999972,0.0003952871,0.0006262393,0.002319324,0.0002878214],"domain_scores_gemma":[0.9938965,0.003418965,0.0003504195,0.001367409,0.0008570321,0.000109619],"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.0003379199,0.0003235168,0.002518027,0.0006540375,0.0002480328,0.0006682656,0.001053551,0.3299194,0.03993179,0.5005413,0.001522664,0.1222815],"study_design_scores_gemma":[0.00008092013,0.000077443,0.0001496898,0.00008774546,0.00007876058,0.00008130691,0.00007029832,0.7964084,0.02424199,0.1710668,0.00763952,0.00001713366],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006815153,0.00006081107,0.9907743,0.00009334253,0.00002562268,0.00004703491,0.00003047185,0.001155882,0.0009972783],"genre_scores_gemma":[0.2397652,0.000224847,0.7577158,0.0001251628,0.00002630138,0.0001929606,0.0002667748,0.0003043755,0.001378749],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005557509,"threshold_uncertainty_score":0.02939129,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02574357422174615,"score_gpt":0.258158924531401,"score_spread":0.2324153503096549,"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."}}