{"id":"W376991050","doi":"10.1007/s100090100043","title":"A light-weight framework for hardware verification","year":2001,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Gas meter prover; Automated theorem proving; Mathematical proof; Correctness; Domain (mathematical analysis); Programming language; Theory of computation; Formal verification; Formal proof; Automated reasoning; Formal methods; Rule of inference; First-order logic; Theoretical computer science; Mathematics","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.002337891,0.001849702,0.001268936,0.002759942,0.001625839,0.003797317,0.004529206,0.001497217,0.01425562],"category_scores_gemma":[0.007351833,0.001525634,0.002504841,0.001592379,0.002841375,0.00741869,0.005219217,0.004229338,0.005992707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001144285,"about_ca_system_score_gemma":0.002237722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002466494,"about_ca_topic_score_gemma":0.004353058,"domain_scores_codex":[0.9964951,0.0006333168,0.0002394143,0.0005033573,0.001788311,0.000340674],"domain_scores_gemma":[0.9960539,0.001213249,0.0002091039,0.001889594,0.0004760511,0.0001580436],"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.0002173754,0.0001638155,0.000381454,0.000447888,0.00008722867,0.0002868171,0.0001854007,0.03206375,0.01334082,0.7206411,0.005796729,0.2263876],"study_design_scores_gemma":[0.00007681585,0.0001031559,0.0001105752,0.0001139667,0.0001337971,0.0001851845,0.0000405521,0.2033611,0.01023563,0.7439599,0.04162043,0.00005895823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008203771,0.0001263978,0.9953492,0.00008166968,0.00004159073,0.0000675707,0.00004033788,0.001670126,0.001802718],"genre_scores_gemma":[0.08731825,0.0005213226,0.903173,0.0002695031,0.0001556806,0.0003447311,0.0002472928,0.0009567057,0.007013551],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01425562,"threshold_uncertainty_score":0.0476898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03967065511286106,"score_gpt":0.3275038002613074,"score_spread":0.2878331451484464,"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."}}