{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003861253,0.0003951756,0.0006994651,0.0003799597,0.0000867148,0.0002478157,0.0005027649,0.000487333,0.00001017253],"category_scores_gemma":[0.002180215,0.0004663067,0.00009856286,0.0003658299,0.000278908,0.0001894561,0.0004411393,0.0007750815,0.000006013911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005474415,"about_ca_system_score_gemma":0.0001507983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004096593,"about_ca_topic_score_gemma":0.0001630834,"domain_scores_codex":[0.995924,0.001738097,0.001161651,0.0005444365,0.000300172,0.0003316192],"domain_scores_gemma":[0.9953992,0.001717555,0.0002750302,0.001662384,0.0008158882,0.0001299016],"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.0001410609,0.001326088,0.02247425,0.1072041,0.001008193,0.00006995128,0.04962851,0.1617014,0.02015564,0.3407068,0.001005194,0.2945788],"study_design_scores_gemma":[0.001088783,0.000002312453,0.0522306,0.05179086,0.0001191704,0.00008286426,0.0004148657,0.8372803,0.03088735,0.001365003,0.02276373,0.001974202],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1009732,0.001088796,0.8939908,0.0005079696,0.0002831616,0.0009420005,0.0001917839,0.0009895435,0.00103272],"genre_scores_gemma":[0.8784912,0.000391817,0.1204867,0.00000743254,0.000009565186,0.0002064349,0.0002159539,0.00009050493,0.0001003336],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.777518,"threshold_uncertainty_score":0.9997789,"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."}}