{"id":"W2071589114","doi":"10.1109/hldvt.2006.319966","title":"Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties","year":2006,"lang":"en","type":"article","venue":"Proceedings","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Assertion; Automaton; Emulation; Modular design; Programming language; Debugging; Hardware emulation; Set (abstract data type); Theoretical computer science; Software","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.000615747,0.0001163282,0.0001505257,0.0001356857,0.0000818335,0.00008873448,0.0005584274,0.00005871104,0.000005060394],"category_scores_gemma":[0.0002840264,0.00009681789,0.00005548451,0.0004462965,0.00007296457,0.0002318448,0.00007479106,0.00006834702,0.00002688412],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005406617,"about_ca_system_score_gemma":0.00004996545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003762906,"about_ca_topic_score_gemma":2.65239e-7,"domain_scores_codex":[0.9988343,0.00001352467,0.0003070238,0.0002739521,0.0003670203,0.0002042076],"domain_scores_gemma":[0.9992629,0.00002221643,0.0001931747,0.0002023753,0.0002856952,0.00003363758],"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.00008183028,0.001067696,0.00817533,0.001073785,0.00003107429,0.000001650356,0.001213706,0.004790601,0.2752252,0.6726279,0.001834738,0.03387651],"study_design_scores_gemma":[0.00007205445,0.00002472853,0.006708148,0.00005184349,0.000005589871,0.000001987105,0.00001518146,0.5189885,0.4735391,0.0002338383,0.0002692687,0.00008980265],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7304089,0.00006700842,0.258655,0.0003823902,0.0001832871,0.0002869028,0.000001297108,0.0004750425,0.009540119],"genre_scores_gemma":[0.6398998,3.884305e-7,0.359946,0.00002689852,0.00002138304,0.00005411972,2.159926e-7,0.000006639776,0.00004450559],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.672394,"threshold_uncertainty_score":0.3948119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02039839152460017,"score_gpt":0.2392221933824925,"score_spread":0.2188238018578923,"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."}}