{"id":"W2034609074","doi":"10.1093/logcom/exn062","title":"Model Checking Using Description Logic","year":2008,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Model checking; Programming language; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.009855345,0.001589479,0.001675349,0.003144707,0.001326348,0.005332992,0.004261542,0.001748561,0.007100579],"category_scores_gemma":[0.02679998,0.001361452,0.004735699,0.002896098,0.004272204,0.007397246,0.005317719,0.004023892,0.001723743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003791047,"about_ca_system_score_gemma":0.00524374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008031501,"about_ca_topic_score_gemma":0.005598933,"domain_scores_codex":[0.9850895,0.00644942,0.001296688,0.001751072,0.00452079,0.0008924384],"domain_scores_gemma":[0.9789423,0.0145237,0.0009104174,0.003666821,0.001731131,0.0002256198],"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.000182043,0.0001314447,0.0009715414,0.001053156,0.0003150058,0.0005020283,0.0005105109,0.08090914,0.004853469,0.8058369,0.006834864,0.09789995],"study_design_scores_gemma":[0.0001774998,0.00006465951,0.0001690081,0.000277515,0.0001295506,0.0002323771,0.0001008192,0.1979881,0.01000668,0.7526295,0.03815313,0.00007114452],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002504976,0.0005504196,0.9880826,0.000743986,0.00008800986,0.000211623,0.0005085313,0.002273694,0.005036192],"genre_scores_gemma":[0.1484615,0.00206123,0.8394028,0.000843073,0.000205085,0.0008714495,0.002773878,0.0008131643,0.004567757],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009855345,"threshold_uncertainty_score":0.05212069,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2584475929139776,"score_gpt":0.3542187284267333,"score_spread":0.09577113551275568,"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."}}