{"id":"W1509625542","doi":"10.1109/icm.2004.1434594","title":"Enhancing ESys.Net with a semi-formal verification layer","year":2005,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Université de Montréal","funders":"","keywords":"Computer science; Formal verification; Layer (electronics); Functional verification; Net (polyhedron); Intelligent verification; Formal methods; Logic simulation; Verification; Software engineering; Computer architecture; Programming language; Distributed computing; Logic gate; Algorithm; Software development; Software","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.002625863,0.0008054075,0.0004416447,0.0005815027,0.000290157,0.001516431,0.001389996,0.000563323,0.003853756],"category_scores_gemma":[0.004735346,0.0006196653,0.0009458127,0.0002350634,0.0009431227,0.003612402,0.001730995,0.001617796,0.001574842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005489978,"about_ca_system_score_gemma":0.001945066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001243589,"about_ca_topic_score_gemma":0.002066581,"domain_scores_codex":[0.9980495,0.0005726379,0.0002098076,0.0001948243,0.0008406579,0.000132655],"domain_scores_gemma":[0.9968162,0.001509867,0.000271997,0.0007723199,0.0005194266,0.0001102497],"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.001759656,0.0004617384,0.00297756,0.001721769,0.0002113303,0.001213575,0.0007357794,0.1740137,0.1120448,0.2416231,0.01085998,0.4523771],"study_design_scores_gemma":[0.0002519937,0.0003785725,0.0005326304,0.0001909555,0.0001625928,0.0005762971,0.00004113751,0.7111276,0.1149857,0.05303033,0.1186319,0.00009024436],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006000516,0.0001021392,0.9839012,0.0001415842,0.00008661855,0.00007741708,0.00008684734,0.006548833,0.003054903],"genre_scores_gemma":[0.1882647,0.0005505548,0.7988238,0.0004029759,0.0001124677,0.0002582262,0.0007232304,0.001387609,0.009476375],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003853756,"threshold_uncertainty_score":0.01388711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01489729370746125,"score_gpt":0.2452080933202458,"score_spread":0.2303107996127846,"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."}}