{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004754493,0.0008108489,0.0006370124,0.001440594,0.0005844719,0.003753662,0.0009701651,0.0007407184,0.006064729],"category_scores_gemma":[0.00965545,0.0005541315,0.0009032544,0.0008682502,0.002070143,0.002458189,0.0009650196,0.001460886,0.001419361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002460592,"about_ca_system_score_gemma":0.002315691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007735439,"about_ca_topic_score_gemma":0.007432003,"domain_scores_codex":[0.9977813,0.0005145337,0.0002341931,0.0003403991,0.0009767478,0.0001527196],"domain_scores_gemma":[0.9951296,0.002073897,0.0001936676,0.0006460383,0.001845799,0.000110962],"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.000908881,0.0002707794,0.002092728,0.002534868,0.0002537452,0.001173528,0.001577329,0.037438,0.0402941,0.201687,0.1143156,0.5974535],"study_design_scores_gemma":[0.0002732181,0.0004755488,0.005983432,0.001612664,0.0003340544,0.001434961,0.0005683049,0.08880725,0.06248033,0.23242,0.6054478,0.0001624823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.03584199,0.04616179,0.8605561,0.01174393,0.01964457,0.0002717604,0.0006923706,0.002424435,0.02266309],"genre_scores_gemma":[0.4688187,0.04027115,0.3405862,0.002203497,0.00727877,0.0002667255,0.004215613,0.002282492,0.1340768],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.007735439,"threshold_uncertainty_score":0.02514452,"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."}}