{"id":"W2167783914","doi":"10.1109/ccece.2004.1349702","title":"A novel type checker for software system specifications in RTPA","year":2004,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Programming language; Consistency (knowledge bases); Correctness; Process calculus; Parsing; Formal specification; Software engineering; Artificial intelligence","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.008510824,0.0009072501,0.001462468,0.00220926,0.001171877,0.003967794,0.004193611,0.002357219,0.005898121],"category_scores_gemma":[0.02065341,0.001306214,0.002399824,0.001833083,0.002002468,0.007780507,0.002849843,0.004547789,0.002264841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001744582,"about_ca_system_score_gemma":0.005192296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002822229,"about_ca_topic_score_gemma":0.00328222,"domain_scores_codex":[0.9877183,0.002642638,0.001751408,0.001658513,0.005582891,0.0006461572],"domain_scores_gemma":[0.9817371,0.008153857,0.001531075,0.004543509,0.003716045,0.0003183365],"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.0006003125,0.0004440146,0.003183786,0.001145905,0.0003324225,0.001669877,0.0007985368,0.0512494,0.05344157,0.4500898,0.02556253,0.4114819],"study_design_scores_gemma":[0.0005319372,0.0003073671,0.0004700422,0.0002995125,0.000375804,0.001895017,0.0001153338,0.6195887,0.08939698,0.1358678,0.1509484,0.0002031599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009594661,0.00005201537,0.9935061,0.00008510071,0.00009005484,0.00006439772,0.00007409178,0.00460719,0.0005615171],"genre_scores_gemma":[0.0381024,0.0002074205,0.9565719,0.0004382799,0.0001446485,0.0002052806,0.0005024892,0.001009755,0.002817628],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008510824,"threshold_uncertainty_score":0.04501009,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07415533621342577,"score_gpt":0.2655053510006907,"score_spread":0.191350014787265,"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."}}