{"id":"W2240579356","doi":"","title":"Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010","year":2011,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Software engineering; Software verification; Programming language; Formal methods; Software; Software development; Software construction","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.004472805,0.0004076813,0.0004575916,0.0002432734,0.0003026539,0.0002065084,0.004042216,0.0003183298,0.0001279095],"category_scores_gemma":[0.008315286,0.0003636821,0.0002183784,0.0007010552,0.0003533379,0.0004016777,0.00405969,0.0007806003,0.00001946798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002073449,"about_ca_system_score_gemma":0.0004095509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003068405,"about_ca_topic_score_gemma":0.0002303129,"domain_scores_codex":[0.9941044,0.003071306,0.0007664277,0.0009229122,0.0006868701,0.0004481236],"domain_scores_gemma":[0.9890236,0.002602209,0.001015301,0.003276771,0.003954644,0.0001274544],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002920085,0.001799868,0.005985475,0.001048468,0.001302382,0.00001698908,0.04405161,0.007930122,0.1056954,0.5876603,0.008739462,0.235478],"study_design_scores_gemma":[0.002924303,0.000008290141,0.04970722,0.004077858,0.0002181211,0.0000673733,0.0002999143,0.112002,0.7629268,0.03169763,0.03346782,0.002602731],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01087614,0.0004478887,0.9768162,0.002047621,0.0009785916,0.0006612952,0.00005787279,0.0006719054,0.00744242],"genre_scores_gemma":[0.1858932,0.0009137893,0.8022508,0.00006956589,0.00003289894,0.0002489778,0.0006610446,0.00006167534,0.00986803],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6572314,"threshold_uncertainty_score":0.9998815,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03210359300116199,"score_gpt":0.2506223191454223,"score_spread":0.2185187261442603,"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."}}