{"id":"W2107973751","doi":"10.1109/mtv.2010.11","title":"An Automated Framework for Correction and Debug of PSL Assertions","year":2010,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vennsa Technologies (Canada); University of Toronto","funders":"","keywords":"Assertion; Debugging; Computer science; Bottleneck; Programming language; Correctness; Key (lock); Process (computing); Property (philosophy); Software engineering; Embedded system","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.0003102551,0.00004191664,0.00005689557,0.00005027884,0.00006885568,0.00004238863,0.0002032264,0.00007747776,0.000007025204],"category_scores_gemma":[0.000283754,0.00003744957,0.00001443462,0.000166692,0.00002899004,0.0004158291,0.00002089859,0.00008082145,0.000001816132],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004459949,"about_ca_system_score_gemma":0.00001796497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001968264,"about_ca_topic_score_gemma":0.00001475799,"domain_scores_codex":[0.9995837,0.00002603054,0.0001159694,0.0001367235,0.00006107131,0.00007653543],"domain_scores_gemma":[0.9993678,0.000116209,0.00005816295,0.0003219636,0.00009675893,0.00003908408],"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.000005182703,0.00005890123,0.0009252873,0.000008305739,0.000003580108,3.513444e-8,0.0002719063,0.00003054928,0.04695978,0.8860396,0.0002542344,0.06544264],"study_design_scores_gemma":[0.00005109128,0.00009333463,0.02735761,0.000004000406,0.000002335438,0.000004736396,0.00001727389,0.8930573,0.06159398,0.01756348,0.0002053573,0.00004943813],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1243643,0.000001924466,0.8736705,0.00007593047,0.001075715,0.0001116874,5.723064e-7,0.0003887766,0.0003106621],"genre_scores_gemma":[0.4245949,5.739018e-7,0.5753269,0.00002774097,0.00001360023,0.000011671,7.396378e-7,0.000001973315,0.00002186975],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8930268,"threshold_uncertainty_score":0.1527149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02230255516644394,"score_gpt":0.3753711614661223,"score_spread":0.3530686062996783,"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."}}