{"id":"W2500782055","doi":"10.4018/978-1-4666-5888-2.ch705","title":"Formal Verification Methods","year":2014,"lang":"en","type":"book-chapter","venue":"Advances in information quality and management","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":108,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003449301,0.0002382467,0.0002888177,0.0003894425,0.0001166431,0.0001552926,0.0005856566,0.0001645958,0.00001534446],"category_scores_gemma":[0.00006652797,0.0002480632,0.00005534959,0.00009702706,0.00008095516,0.005530606,0.0003665115,0.0002214375,0.00008817088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001124469,"about_ca_system_score_gemma":0.00001285372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003472156,"about_ca_topic_score_gemma":0.000003617442,"domain_scores_codex":[0.9980271,0.000127836,0.0009811409,0.0002828747,0.0003541605,0.0002269222],"domain_scores_gemma":[0.9983274,0.00008071851,0.0007033402,0.000748205,0.00008393191,0.00005641732],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005023523,0.000002074658,0.000001008814,0.0002864,0.000004050484,1.087293e-7,0.0001682976,0.0000705921,1.645396e-7,0.5303462,0.00003455047,0.4690816],"study_design_scores_gemma":[0.0002416762,0.00003197256,0.0004200324,0.00009175021,0.000008389917,0.000001916847,0.00003378213,0.007945515,0.00002080617,0.1361944,0.8547319,0.000277939],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[5.756298e-7,0.0003500667,0.5928633,0.0001069,0.0003478736,0.0003136728,0.000002550176,0.00007345249,0.4059416],"genre_scores_gemma":[0.0001193353,0.009699397,0.9775974,0.001034772,0.00003433647,0.0001027857,0.00007079319,0.000009336582,0.01133183],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8546973,"threshold_uncertainty_score":0.9999971,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04842339022231228,"score_gpt":0.3855151116572161,"score_spread":0.3370917214349038,"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."}}