{"id":"W3005193094","doi":"","title":"Joint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries","year":2014,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Safran Electronics (Canada)","funders":"","keywords":"Joint (building); Computer science; Domain (mathematical analysis); Software; Life-critical system; Engineering; Programming language; Structural engineering","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.02041755,0.001107795,0.001398032,0.00352514,0.0009028676,0.005894591,0.002935015,0.002449288,0.00303176],"category_scores_gemma":[0.01734588,0.001719257,0.001646299,0.002003774,0.003647544,0.01010957,0.005525419,0.003289399,0.0007903358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001263482,"about_ca_system_score_gemma":0.002712617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001516745,"about_ca_topic_score_gemma":0.001074936,"domain_scores_codex":[0.9843485,0.006240365,0.0009938626,0.00197746,0.005512186,0.0009275788],"domain_scores_gemma":[0.9702325,0.0135099,0.00194189,0.009741004,0.004022892,0.0005517438],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005981362,0.0005854781,0.01179298,0.001155145,0.0004280808,0.0008686755,0.001555561,0.1106344,0.06711625,0.235899,0.001394789,0.5679715],"study_design_scores_gemma":[0.00007204487,0.0006864641,0.007009396,0.000898673,0.0005180262,0.002063514,0.001135911,0.6833802,0.09353343,0.1822287,0.02832682,0.0001468902],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04267286,0.003546607,0.941321,0.001047179,0.00007863379,0.0000718064,0.00002715604,0.0008938391,0.01034093],"genre_scores_gemma":[0.7148575,0.003142443,0.2761466,0.0003119389,0.0001090225,0.00005916256,0.0001268198,0.000491867,0.004754704],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02041755,"threshold_uncertainty_score":0.1079797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01485501190445632,"score_gpt":0.2292734008467036,"score_spread":0.2144183889422473,"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."}}