{"id":"W2055102535","doi":"10.4204/eptcs.13.6","title":"Verifying Real-Time Systems using Explicit-time Description Methods","year":2009,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"Natural Sciences and Engineering Research Council of Canada; Atlantic Canada Opportunities Agency","keywords":"Process (computing); Modularity (biology); Rotation formalisms in three dimensions; Synchronization (alternating current); Model checking; Rendezvous; Semaphore; Asynchronous communication","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.009158017,0.0003459638,0.0004400417,0.0006377742,0.0004681787,0.001132307,0.003185112,0.0001566656,0.000009560172],"category_scores_gemma":[0.0003870013,0.0003307269,0.00007932509,0.003467491,0.000668012,0.003238748,0.000513279,0.0005663034,0.00004401069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001152104,"about_ca_system_score_gemma":0.0003303506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008054637,"about_ca_topic_score_gemma":3.772426e-8,"domain_scores_codex":[0.9953965,0.0002044191,0.0006750887,0.001275786,0.0008788636,0.001569376],"domain_scores_gemma":[0.9984178,0.0001449856,0.0002565205,0.0005926925,0.0003454974,0.0002425022],"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.0000121406,0.00004548062,0.000009242552,0.000009376062,0.000002241575,0.000001519448,0.0003580636,0.0002587566,0.176878,0.799394,0.000008834569,0.02302227],"study_design_scores_gemma":[0.0001897149,0.000487673,0.0002405577,0.00009128092,0.000005488732,0.000127677,0.00001060334,0.8653564,0.02542162,0.1076767,0.00004501704,0.0003473412],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09468475,0.00009549349,0.900193,0.0001483554,0.0003926718,0.0004181103,2.010359e-7,0.0004254597,0.00364198],"genre_scores_gemma":[0.4617221,0.00001467221,0.5380511,0.00008294488,0.00009921555,0.0000110148,2.632632e-7,0.000009945995,0.000008781411],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8650976,"threshold_uncertainty_score":0.9999145,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02040135599401856,"score_gpt":0.319022635246982,"score_spread":0.2986212792529634,"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."}}