{"id":"W2099948248","doi":"10.1145/581339.581461","title":"An architecture-centric approach to the development of a distributed model-checker for timed automata","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Model checking; Automaton; Architecture; Timed automaton; Distributed computing; Development (topology); Model driven development; Programming language; Computer architecture; Theoretical computer science; Unified Modeling Language; Software","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00352928,0.0009326088,0.0008648356,0.001045208,0.0008853965,0.0028765,0.004263683,0.0020376,0.0032602],"category_scores_gemma":[0.006247444,0.001009855,0.001965379,0.0008142851,0.002613217,0.003149627,0.002738785,0.006694475,0.000830269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001617694,"about_ca_system_score_gemma":0.00390209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002070784,"about_ca_topic_score_gemma":0.003410929,"domain_scores_codex":[0.9972327,0.0007542921,0.0002642818,0.0005687874,0.001002554,0.0001774527],"domain_scores_gemma":[0.9956307,0.001653767,0.0002361498,0.001406413,0.0008836935,0.0001892836],"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.0001862909,0.0004794192,0.002022897,0.0005226911,0.0002578515,0.0006730077,0.0007944873,0.2049686,0.0518006,0.6032636,0.004309069,0.1307215],"study_design_scores_gemma":[0.0001581845,0.0003292251,0.0002330292,0.0001210368,0.0002166039,0.0003234895,0.00007148139,0.7804742,0.05211527,0.1325471,0.03333707,0.00007323727],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00114788,0.00002214009,0.9973066,0.0001163559,0.00004067609,0.00006939901,0.00001976107,0.0006591714,0.0006180655],"genre_scores_gemma":[0.06017732,0.00013248,0.9369096,0.0002387126,0.00007355366,0.0003338166,0.0001284351,0.0002437604,0.001762231],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004263683,"threshold_uncertainty_score":0.01866484,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0689152956602451,"score_gpt":0.2948972864358317,"score_spread":0.2259819907755866,"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."}}