{"id":"W2139761195","doi":"10.1109/case.1992.200142","title":"Validation of LOTOS specifications using an interpreter: an application to telephone systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Interpreter; Standardization; Computer science; Programming language; Interconnection; Formal specification; Sample (material); Software engineering; Operating system; Telecommunications","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008700498,0.0001032205,0.0001320217,0.0001958132,0.0000808218,0.0001194175,0.0006437915,0.00005768832,0.00001015859],"category_scores_gemma":[0.00008290495,0.000104378,0.00002433865,0.000673144,0.00002485869,0.001246166,0.00004039788,0.00005398803,0.00003249968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009015309,"about_ca_system_score_gemma":0.00004590801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009784903,"about_ca_topic_score_gemma":0.00000270722,"domain_scores_codex":[0.9985253,0.0002944531,0.0004117787,0.0003839406,0.0002337797,0.0001507525],"domain_scores_gemma":[0.9982077,0.00003010812,0.0001874731,0.001223123,0.0002316499,0.0001198973],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005310863,0.0002109029,0.0003667244,0.00002174982,0.000006397029,1.109148e-7,0.001394323,0.01903015,0.4545282,0.5134135,0.0000155882,0.011007],"study_design_scores_gemma":[0.00008326457,0.0001371104,0.0005794929,0.00001389189,0.000005459744,0.0000138081,0.0002331467,0.5560029,0.4409338,0.0009550198,0.0008721722,0.0001699465],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1427914,0.000007605889,0.8545926,0.00001421041,0.0002459802,0.0005104492,0.000001969234,0.0001201721,0.001715674],"genre_scores_gemma":[0.5287406,7.383175e-7,0.4711519,0.0000199966,0.00001869423,0.00003814575,0.000004344329,0.000006140678,0.00001948691],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5369728,"threshold_uncertainty_score":0.4256411,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09282684102455753,"score_gpt":0.3375896041814963,"score_spread":0.2447627631569388,"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."}}