{"id":"W1779584415","doi":"10.1007/3-540-45739-9_20","title":"A Method for Testing the Conformance of Real Time Systems","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Conformance testing; Computer science; Automaton; State space; Set (abstract data type); Algorithm; Transformation (genetics); Finite-state machine; Theoretical computer science; Programming language; State (computer science); Formal specification; Mathematics","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.002431238,0.001228917,0.00100862,0.001428208,0.0006814678,0.001179753,0.002161562,0.001645446,0.007534076],"category_scores_gemma":[0.009470859,0.0008513396,0.001281153,0.0008749373,0.001815882,0.002844512,0.00176315,0.001851455,0.002001872],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003967909,"about_ca_system_score_gemma":0.0009429052,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008554636,"about_ca_topic_score_gemma":0.001014184,"domain_scores_codex":[0.9954907,0.001181432,0.0003077298,0.0009498045,0.001810602,0.0002597087],"domain_scores_gemma":[0.9899707,0.005997742,0.0005097708,0.002408399,0.0008758996,0.0002374266],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008655981,0.0006687139,0.003553659,0.001099273,0.0002679964,0.00076995,0.000919355,0.02082017,0.120251,0.1120104,0.01292396,0.72585],"study_design_scores_gemma":[0.0007769324,0.001658096,0.003460548,0.0003034656,0.0004289693,0.003169839,0.0004052633,0.4310426,0.2833078,0.2090531,0.06610685,0.0002865165],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007325367,0.00006898708,0.9858037,0.00007264494,0.00007365619,0.000129057,0.00008632906,0.004475158,0.001965129],"genre_scores_gemma":[0.1549635,0.0001211138,0.8362041,0.0001513034,0.00005366256,0.0004735588,0.0004125629,0.001101873,0.006518232],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007534076,"threshold_uncertainty_score":0.025204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0562708610271213,"score_gpt":0.3036595019184486,"score_spread":0.2473886408913273,"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."}}