{"id":"W2153576711","doi":"10.1109/iccd.2000.878353","title":"Source-level transformations for improved formal verification","year":2002,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Formal verification; Formal methods; Programming language; Formal equivalence checking","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.003937479,0.0009389883,0.0006046382,0.00098344,0.0005872118,0.00143057,0.001368977,0.0007099677,0.007839768],"category_scores_gemma":[0.02464394,0.000785188,0.00130012,0.0009479599,0.001402754,0.003403504,0.001890399,0.002944897,0.002815061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009887607,"about_ca_system_score_gemma":0.001605072,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001124694,"about_ca_topic_score_gemma":0.001740779,"domain_scores_codex":[0.99604,0.001718732,0.0004817676,0.0003526946,0.001212989,0.0001938198],"domain_scores_gemma":[0.9790514,0.009468502,0.000925051,0.008278439,0.002160656,0.0001159888],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005444724,0.00051054,0.003153502,0.000811857,0.0001009974,0.0008734331,0.001369825,0.122902,0.08138282,0.3082283,0.01791128,0.462211],"study_design_scores_gemma":[0.0001630661,0.0002425039,0.000593914,0.0001675143,0.00009547205,0.0005995799,0.0001466807,0.5909279,0.1211285,0.1900759,0.09578252,0.00007645168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006129868,0.00005809601,0.976074,0.0002153241,0.00004934717,0.0001119755,0.00009966311,0.01492833,0.002333295],"genre_scores_gemma":[0.1204417,0.0001719733,0.8727719,0.0001763216,0.00005173655,0.0001845749,0.000486093,0.003626474,0.002089292],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007839768,"threshold_uncertainty_score":0.02622664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0722107887888603,"score_gpt":0.254952881981793,"score_spread":0.1827420931929327,"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."}}