{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006652154,0.0006271749,0.0005222383,0.0006497908,0.0006210408,0.001475628,0.001058829,0.0009681563,0.002411176],"category_scores_gemma":[0.01249396,0.0005482166,0.0008847567,0.0003429387,0.001680831,0.001578603,0.001196487,0.001013968,0.0005367653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009050955,"about_ca_system_score_gemma":0.001357931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001206062,"about_ca_topic_score_gemma":0.00104835,"domain_scores_codex":[0.9958182,0.002017073,0.0003759128,0.0003306576,0.001290021,0.0001681022],"domain_scores_gemma":[0.9928474,0.003978963,0.0005640473,0.001057503,0.001441952,0.0001100093],"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.001430402,0.0003298075,0.004072277,0.001491409,0.0001705082,0.004730808,0.00636768,0.222248,0.2085514,0.30426,0.00889747,0.2374503],"study_design_scores_gemma":[0.000170121,0.0002800649,0.000440229,0.0003343866,0.00007116033,0.00102591,0.0003242295,0.7324047,0.1854492,0.04038344,0.03900034,0.0001162663],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01774989,0.00008466797,0.9742113,0.0001452339,0.00004636003,0.0001964788,0.00009137685,0.004817723,0.002656985],"genre_scores_gemma":[0.3275408,0.0003262233,0.6641417,0.000169418,0.00002492023,0.0003063626,0.0003721154,0.001573582,0.005545],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006652154,"threshold_uncertainty_score":0.03518033,"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."}}