{"id":"W2128232779","doi":"10.1109/iccd.1999.808259","title":"Verification of real time controllers against timing diagram specifications using constraint logic programming","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Scheme for Promotion of Academic and Research Collaboration","keywords":"Computer science; Finite-state machine; Controller (irrigation); Programming language; Constraint (computer-aided design); Verilog; Commit; Consistency (knowledge bases); Logic programming; Algorithm; Theoretical computer science; Embedded system; 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.00519522,0.0007597734,0.0006059232,0.0009142212,0.0006778351,0.001945013,0.001426153,0.0007900504,0.002202907],"category_scores_gemma":[0.02382303,0.0005840781,0.001233149,0.0008578639,0.001833608,0.002269204,0.0007849146,0.001126896,0.0003576483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001268711,"about_ca_system_score_gemma":0.004055183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007433592,"about_ca_topic_score_gemma":0.007028718,"domain_scores_codex":[0.9936186,0.001968578,0.000627814,0.001151053,0.002184979,0.0004490035],"domain_scores_gemma":[0.9780783,0.01536685,0.002373678,0.001700659,0.00232697,0.0001534327],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008459447,0.0002964814,0.005913861,0.001050391,0.0002758255,0.001043181,0.0008035432,0.6431777,0.08590541,0.1229278,0.002076059,0.1356837],"study_design_scores_gemma":[0.0002239836,0.0001960174,0.0005673104,0.00006551568,0.00007602127,0.0001925742,0.00009948288,0.8884348,0.0772583,0.02960416,0.003238019,0.00004373911],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04329016,0.0000490671,0.9528658,0.0001230638,0.00001949745,0.0001562329,0.0003490663,0.002179142,0.0009679657],"genre_scores_gemma":[0.4176183,0.000155079,0.579958,0.0001259624,0.0000251407,0.0004227828,0.00071309,0.0002412152,0.0007404659],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007433592,"threshold_uncertainty_score":0.02747524,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1115638899875842,"score_gpt":0.3192021609313422,"score_spread":0.2076382709437581,"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."}}