{"id":"W7005286856","doi":"","title":"Practical Verification of Embedded Software","year":2000,"lang":"en","type":"article","venue":"VBN Forskningsportal (Aalborg Universitet)","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Nordic Life Science Pipeline (Canada)","funders":"","keywords":"","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.0003243053,0.0002068165,0.0002931844,0.0002442249,0.0001202476,0.00005080435,0.0008287194,0.0001718334,0.0005042651],"category_scores_gemma":[0.00006939257,0.000221665,0.0001377279,0.0007678931,0.0001081334,0.001347082,0.00009805513,0.0002013781,0.0001782431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009674542,"about_ca_system_score_gemma":0.0001718934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001060895,"about_ca_topic_score_gemma":0.00000555573,"domain_scores_codex":[0.9982567,0.00008074837,0.0003910314,0.0004856577,0.0004591646,0.0003266656],"domain_scores_gemma":[0.9983956,0.0001100169,0.000290793,0.0008639088,0.0001900557,0.0001496702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003900297,0.001177648,0.01747286,0.0003531174,0.0004082626,0.001310142,0.01508657,0.0002860042,0.02232152,0.736955,0.1154441,0.08879469],"study_design_scores_gemma":[0.007112433,0.003733674,0.02723913,0.001328714,0.0005033219,0.001544774,0.005004781,0.04232362,0.3648596,0.02695041,0.5131105,0.006289067],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2153876,0.00007718409,0.7395272,0.0003822872,0.0002152752,0.0006570991,0.0000155011,0.001622804,0.04211504],"genre_scores_gemma":[0.7835945,0.00002335204,0.2118973,0.0000879001,0.00003862164,0.000004738772,0.00002131991,0.00002264677,0.004309628],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7100046,"threshold_uncertainty_score":0.9039237,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0167172841327484,"score_gpt":0.2568490235154208,"score_spread":0.2401317393826724,"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."}}