{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006067422,0.00009764735,0.0001092746,0.00007169966,0.0001081942,0.00004975123,0.001141013,0.0000384458,0.000004825091],"category_scores_gemma":[0.00007047949,0.00006273878,0.00003215072,0.0004845911,0.00001935844,0.0001430438,0.000132499,0.00005469631,0.00001143617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004279445,"about_ca_system_score_gemma":0.0000365225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001373415,"about_ca_topic_score_gemma":0.000001355373,"domain_scores_codex":[0.9989437,0.00005862659,0.0002683594,0.0002754923,0.0002330379,0.0002207753],"domain_scores_gemma":[0.9990126,0.00002472013,0.00007254859,0.0007352583,0.00007432279,0.00008054188],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003363913,0.001035458,0.00002410762,0.00007635103,0.0000478063,1.350627e-7,0.01548566,0.1884869,0.001157109,0.3093266,0.004991781,0.4793344],"study_design_scores_gemma":[0.0001636807,0.0000350445,0.0003655378,0.000002418592,0.000002879112,0.00000179036,0.00001574464,0.9899912,0.005946197,0.0003603763,0.003020068,0.00009502248],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002219166,0.000008249247,0.9951717,0.0001852929,0.00004876811,0.0006769734,0.000008252263,0.0001277913,0.001553854],"genre_scores_gemma":[0.1089133,2.879182e-7,0.890649,0.0001140824,0.00001119151,0.0001583907,0.00001204564,0.00000561008,0.0001361465],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8015044,"threshold_uncertainty_score":0.2558413,"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."}}