{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009306016,0.0001107321,0.0001141551,0.00005270527,0.0001203518,0.00009274889,0.0005238267,0.00007678267,0.00002147171],"category_scores_gemma":[0.0001024053,0.0001010825,0.00004630023,0.0003278531,0.000056286,0.001286171,0.00004786045,0.00009634111,0.0003068838],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001043092,"about_ca_system_score_gemma":0.00006059773,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009990489,"about_ca_topic_score_gemma":1.681941e-7,"domain_scores_codex":[0.9988176,0.0001494443,0.0002624464,0.0002285344,0.0002343938,0.0003075402],"domain_scores_gemma":[0.9989014,0.00007253065,0.0001248449,0.0007256807,0.00008979566,0.00008571947],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002264987,0.00003318108,0.0002096343,0.00003361916,0.000004406914,2.406691e-7,0.0004066597,0.0002126758,0.003776486,0.987731,0.00003980114,0.007550016],"study_design_scores_gemma":[0.0003719997,0.00003674199,0.001707841,0.00005046655,0.00001002391,0.00002790862,0.0007719254,0.8133069,0.180268,0.0004019375,0.002719468,0.0003268162],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006673211,0.00006828704,0.965489,0.0001231918,0.000887886,0.0001764118,7.428444e-7,0.0005984714,0.02598277],"genre_scores_gemma":[0.4857844,4.825511e-7,0.5140007,0.0001177675,0.00005163718,0.00001703714,0.000001783858,0.000004203711,0.00002200046],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9873291,"threshold_uncertainty_score":0.4122024,"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."}}