{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008053599,0.001380388,0.001117794,0.00199326,0.001702003,0.004988396,0.004160175,0.002674327,0.002771725],"category_scores_gemma":[0.01741684,0.001961038,0.003356105,0.00121506,0.005828566,0.005606255,0.004330577,0.005495883,0.0009102989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00213449,"about_ca_system_score_gemma":0.005787656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004729206,"about_ca_topic_score_gemma":0.004472181,"domain_scores_codex":[0.9911569,0.002750097,0.001093256,0.000610869,0.003839163,0.0005496649],"domain_scores_gemma":[0.9876372,0.006876602,0.0007168952,0.002741654,0.00174973,0.0002778479],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007441032,0.0001503196,0.0004281866,0.0004460287,0.0001067093,0.0004521897,0.0008556215,0.09631432,0.007801486,0.8500342,0.001473512,0.04186307],"study_design_scores_gemma":[0.000160439,0.0001536136,0.0001668028,0.0003405714,0.0001820269,0.0003556398,0.0001748524,0.4475968,0.01204084,0.5120203,0.02671702,0.00009103241],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009757514,0.0001004263,0.9978963,0.0001307413,0.00002834648,0.0000753054,0.00001916189,0.0002053595,0.0005685036],"genre_scores_gemma":[0.1026068,0.0005735373,0.89397,0.0001932738,0.000112599,0.0005221374,0.0001462692,0.0001777754,0.001697594],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008053599,"threshold_uncertainty_score":0.04259205,"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."}}