{"id":"W2052094717","doi":"10.1109/hase.2012.26","title":"Proving the Absence Property Pattern Using the B Method","year":2012,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Property (philosophy); Algorithm; Artificial intelligence; Discrete mathematics; Information retrieval; Mathematics; Philosophy","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.00797938,0.001883872,0.001536364,0.002165172,0.00182314,0.003746912,0.002774221,0.003181439,0.00525467],"category_scores_gemma":[0.03372852,0.001601634,0.003790919,0.000789673,0.004852342,0.009466494,0.006022126,0.004439129,0.002576868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009020971,"about_ca_system_score_gemma":0.002912149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003337326,"about_ca_topic_score_gemma":0.001839059,"domain_scores_codex":[0.9841647,0.005153495,0.001636919,0.003583601,0.003955665,0.001505727],"domain_scores_gemma":[0.9660026,0.01991439,0.002623075,0.006931703,0.00379024,0.0007380135],"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.002524132,0.001088882,0.0182077,0.002199035,0.0004800583,0.004258075,0.001744825,0.02729059,0.162869,0.5022594,0.02054421,0.2565342],"study_design_scores_gemma":[0.000789138,0.0009264607,0.002881192,0.0004800604,0.0003930266,0.002781871,0.0005595538,0.3255849,0.2101164,0.3948348,0.0603214,0.0003311971],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01866238,0.00009907315,0.9703738,0.0005702767,0.0001444751,0.0001962062,0.0002355483,0.005814082,0.003904076],"genre_scores_gemma":[0.2850989,0.0003063916,0.7040974,0.001025982,0.000168748,0.0007233514,0.001028155,0.002319359,0.005231748],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00797938,"threshold_uncertainty_score":0.04219949,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1283252049544197,"score_gpt":0.3677059413774359,"score_spread":0.2393807364230162,"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."}}