{"id":"W2102679084","doi":"10.1109/mnrc.2008.4683387","title":"Assertion checkers - enablers of quality design","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Assertion; Computer science; Generator (circuit theory); IBM; Programming language; Software engineering; Field (mathematics); Quality (philosophy); Computer architecture","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.01136217,0.0009231762,0.000796468,0.002450085,0.0008750123,0.003656152,0.00187626,0.001185159,0.007576617],"category_scores_gemma":[0.04090153,0.001204263,0.001138899,0.001138918,0.003426149,0.005291163,0.003138146,0.00283653,0.002573562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000796905,"about_ca_system_score_gemma":0.00174917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00070863,"about_ca_topic_score_gemma":0.0009860425,"domain_scores_codex":[0.9874879,0.004324048,0.0007460381,0.001126885,0.005600584,0.0007145674],"domain_scores_gemma":[0.9705864,0.01606118,0.001942486,0.007554112,0.003433738,0.0004221445],"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.0004884493,0.0001467141,0.003259813,0.0008575111,0.0001186206,0.0007432672,0.001126248,0.01976377,0.02564509,0.6679009,0.009499159,0.2704504],"study_design_scores_gemma":[0.0004088683,0.0007174884,0.001302227,0.0008615059,0.0003170032,0.001304239,0.000283059,0.1692426,0.1029559,0.5122182,0.2102144,0.0001744573],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009413845,0.0007266004,0.9720091,0.0006103965,0.0002281481,0.0002149601,0.0002133153,0.007839703,0.00874389],"genre_scores_gemma":[0.291171,0.001225636,0.6971965,0.0005764946,0.000293028,0.000432699,0.0005807441,0.001798179,0.006725743],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01136217,"threshold_uncertainty_score":0.06008965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2120062588017335,"score_gpt":0.3560172045566864,"score_spread":0.1440109457549529,"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."}}