{"id":"W2165235091","doi":"10.1109/eurmic.1998.711805","title":"Verification of real time controllers against timing diagram specifications using constraint logic programming","year":2002,"lang":"en","type":"article","venue":"Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Programming language; Finite-state machine; Consistency (knowledge bases); Logic programming; Constraint (computer-aided design); Controller (irrigation); Constraint logic programming; Constraint programming; Formal specification; Formal verification; Algorithm; Theoretical computer science; Constraint satisfaction; Mathematics; Mathematical optimization","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.005469316,0.0007831051,0.0007908986,0.0009336879,0.0006673812,0.002390955,0.001565728,0.001016567,0.002062077],"category_scores_gemma":[0.02633377,0.0006789892,0.001493896,0.000963714,0.002082565,0.002414663,0.001051261,0.001148571,0.0003494556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00125369,"about_ca_system_score_gemma":0.003911892,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006271468,"about_ca_topic_score_gemma":0.006194037,"domain_scores_codex":[0.992644,0.002801663,0.0006628031,0.001250558,0.002074201,0.0005667969],"domain_scores_gemma":[0.9734409,0.02008144,0.002684253,0.001811939,0.001795074,0.0001864007],"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.0009715525,0.000291661,0.00534722,0.0008536993,0.0003290822,0.0009487769,0.0007028247,0.697175,0.06005331,0.1195647,0.001453871,0.1123084],"study_design_scores_gemma":[0.0002180144,0.0001540868,0.0004375704,0.00004996379,0.00006983428,0.0001463554,0.00007262225,0.9161773,0.0514222,0.02923256,0.001983202,0.0000363154],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04439966,0.00005732929,0.9520462,0.0001246184,0.00001620364,0.0001443364,0.0002302551,0.002201421,0.0007800588],"genre_scores_gemma":[0.4446885,0.0001776441,0.5529851,0.000121278,0.00002812217,0.0004134809,0.0006749537,0.000234851,0.0006760456],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006271468,"threshold_uncertainty_score":0.02892488,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1519271106969447,"score_gpt":0.2912067880930609,"score_spread":0.1392796773961162,"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."}}