{"id":"W2118462183","doi":"10.1109/hldvt.2012.6418248","title":"Embedded system verification through constraint-based scheduling","year":2012,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"MPSoC; Computer science; Correctness; Scheduling (production processes); Multiprocessing; Functional verification; Embedded system; Constraint programming; System on a chip; Constraint (computer-aided design); Formal verification; Parallel computing; Distributed computing; Programming language; Engineering","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.002873415,0.001018086,0.0007268248,0.0009202185,0.000748759,0.001374509,0.001460783,0.0006822976,0.003289909],"category_scores_gemma":[0.01022552,0.0005802164,0.001176003,0.001089953,0.001637046,0.001350295,0.001258341,0.00133168,0.0005261881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001447913,"about_ca_system_score_gemma":0.004301777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008962817,"about_ca_topic_score_gemma":0.007837866,"domain_scores_codex":[0.9962536,0.001558634,0.0002078696,0.0003506472,0.001409509,0.0002197678],"domain_scores_gemma":[0.9921716,0.005472792,0.0005228952,0.0008173823,0.0009132026,0.0001020005],"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.00009745925,0.00005608069,0.0003717298,0.0002523141,0.00005768314,0.0001675111,0.00008005511,0.8822405,0.01057333,0.06122373,0.001212458,0.04366715],"study_design_scores_gemma":[0.00003719006,0.00002464486,0.00006268332,0.00002023081,0.00001170369,0.00002584141,0.000009910982,0.972138,0.007152764,0.01785721,0.002649729,0.00001018766],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008390442,0.0001121425,0.9877628,0.0001274433,0.00002668576,0.0001172923,0.0001736745,0.0006507813,0.002638671],"genre_scores_gemma":[0.2322166,0.0003929487,0.7644221,0.00009985737,0.00003261201,0.0004690715,0.0004387224,0.0003337567,0.001594402],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008962817,"threshold_uncertainty_score":0.01782125,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05134845037038891,"score_gpt":0.3106666714775103,"score_spread":0.2593182211071214,"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."}}