{"id":"W2094376641","doi":"10.1145/1292316.1292327","title":"Specification and verification of trustworthy component-based real-time reactive systems","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Trustworthiness; Component (thermodynamics); Computer science; Formal verification; Model checking; Formal methods; Formal specification; Protocol (science); Software engineering; Computer security; Programming language","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.00167381,0.000103337,0.0001624814,0.0001762607,0.00006155752,0.00004758184,0.0003322866,0.00007478265,0.000006145902],"category_scores_gemma":[0.00006136356,0.00009906053,0.00002771748,0.0003936548,0.0000792182,0.0004188659,0.00003470554,0.00006657089,0.00002594625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007464798,"about_ca_system_score_gemma":0.00003180607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001291033,"about_ca_topic_score_gemma":0.000001405147,"domain_scores_codex":[0.9987142,0.0001211821,0.0004166297,0.0003131627,0.0002723653,0.0001624662],"domain_scores_gemma":[0.9985679,0.0001947259,0.0003225258,0.0006532368,0.0001903246,0.00007132346],"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.0000812679,0.0001399781,0.001132379,0.00005693581,0.00001465376,0.000001241097,0.0004438304,0.0002632052,0.3268299,0.6399044,0.0001211832,0.03101106],"study_design_scores_gemma":[0.0005322918,0.0001654275,0.1905107,0.00004412508,0.00001315121,0.00001236947,0.0001860799,0.5653844,0.2406022,0.0004714004,0.001790254,0.0002876218],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0995466,0.00003395677,0.8863985,0.00006511942,0.0001893438,0.0002941137,0.000001700543,0.0001372432,0.0133334],"genre_scores_gemma":[0.58938,0.00001377281,0.4104496,0.00001118866,0.00002616696,0.000007883238,0.000009236182,0.000005855691,0.00009629541],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.639433,"threshold_uncertainty_score":0.4039571,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02083359258631319,"score_gpt":0.2728951355766402,"score_spread":0.2520615429903271,"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."}}