{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003345032,0.00006809409,0.00009054816,0.00008950567,0.00002710671,0.0000258645,0.0003360677,0.00005454823,0.00001426592],"category_scores_gemma":[0.00001200808,0.00006024294,0.00003606632,0.0004110301,0.00002633144,0.0006948555,0.00001531814,0.00004984084,0.00001411084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003529257,"about_ca_system_score_gemma":0.00004348022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002960637,"about_ca_topic_score_gemma":0.000003659018,"domain_scores_codex":[0.9992258,0.00007138137,0.0002487738,0.0001753663,0.0001805749,0.00009809871],"domain_scores_gemma":[0.9993771,0.00001027077,0.00008022283,0.0003636273,0.0001492791,0.000019544],"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.000008556653,0.00007026411,0.000002249701,0.000008792751,0.000003280292,2.142956e-7,0.0002799377,0.004469457,0.03804724,0.8871698,0.0002796861,0.06966047],"study_design_scores_gemma":[0.0001013964,0.00002731669,0.0007805046,0.00000529576,0.000002370181,0.000001790179,0.00001788319,0.7544369,0.2145169,0.02991652,0.0001314591,0.00006167204],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007050975,0.00001707075,0.9732757,0.0001950263,0.00009846888,0.000113107,0.000002046889,0.0001575013,0.01909016],"genre_scores_gemma":[0.5055882,0.000002025963,0.4942747,0.00002368475,0.000008637919,0.000007010723,0.00001015865,0.000002412557,0.0000831929],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8572533,"threshold_uncertainty_score":0.2456636,"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."}}