{"id":"W2117262336","doi":"10.1016/j.jss.2010.08.048","title":"A formal approach for the specification and verification of trustworthy component-based systems","year":2010,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":37,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Component (thermodynamics); Trustworthiness; Formal verification; Computer science; Formal methods; Software engineering; Formal specification; Model checking; Programming language; Computer security","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.0007248926,0.0001144645,0.0002882976,0.00009911288,0.00006391416,0.00005823019,0.0001194186,0.00009326195,5.137956e-7],"category_scores_gemma":[0.00004355599,0.0000815488,0.00005815582,0.00007154188,0.00003573088,0.0001521293,0.000006664816,0.0001740233,1.748779e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002583325,"about_ca_system_score_gemma":0.00002108204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001611863,"about_ca_topic_score_gemma":5.877266e-7,"domain_scores_codex":[0.9990586,0.00001717479,0.0005674559,0.00007565581,0.0001572327,0.0001238509],"domain_scores_gemma":[0.9990996,0.0002149306,0.0002773123,0.0001871771,0.0001613158,0.00005964383],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001359476,0.00008636314,0.01912442,0.00862306,0.0004949163,0.000002457977,0.001507255,0.9221279,0.03076941,0.005461603,0.0008274989,0.01083918],"study_design_scores_gemma":[0.001252837,0.0001027375,0.03621801,0.0002891046,0.00009264644,0.0002949214,0.0008489838,0.9395864,0.0004209231,0.000004941131,0.02067241,0.000216116],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1694967,0.004886186,0.8233417,0.00001762388,0.001574958,0.0005742506,0.00002137921,0.00004739084,0.0000397902],"genre_scores_gemma":[0.9937926,0.00004910961,0.00575082,0.000001378281,0.0003240561,0.00004159883,0.000005251505,0.00002383153,0.00001133411],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8242959,"threshold_uncertainty_score":0.3325464,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01193438245092998,"score_gpt":0.1950519219256482,"score_spread":0.1831175394747182,"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."}}