{"id":"W2560178783","doi":"10.1007/978-3-319-47307-9_7","title":"Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application","year":2016,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Executable; Probabilistic logic; Automaton; Collision; Theoretical computer science; Statistical model; Programming language; Artificial intelligence","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.001454153,0.0006637065,0.0005211483,0.0005263378,0.0006613132,0.002610203,0.00160142,0.001633627,0.007989997],"category_scores_gemma":[0.004094275,0.0005842123,0.001033241,0.0009287419,0.001374525,0.003144771,0.001106875,0.001561207,0.001815468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009493523,"about_ca_system_score_gemma":0.001099046,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002635557,"about_ca_topic_score_gemma":0.002683191,"domain_scores_codex":[0.9990619,0.0003200017,0.00006713667,0.0001381266,0.0003425897,0.00007018686],"domain_scores_gemma":[0.9979036,0.001134503,0.00007485251,0.0006091652,0.0002411098,0.00003678427],"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.000203699,0.000210281,0.001657779,0.0005123403,0.00006198058,0.0009297943,0.001728051,0.05687257,0.02207244,0.7724918,0.004228055,0.1390313],"study_design_scores_gemma":[0.00005399181,0.0001992029,0.001011469,0.0003353008,0.0001314995,0.0008013985,0.0004652634,0.44254,0.05411084,0.4140375,0.08623103,0.00008244623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02285931,0.0004908246,0.9515647,0.0004445262,0.00007566222,0.00009632533,0.0001171101,0.001561479,0.02279016],"genre_scores_gemma":[0.3255529,0.0007439291,0.6343542,0.0001839274,0.00002871911,0.0001435015,0.0002676273,0.0007932826,0.03793191],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007989997,"threshold_uncertainty_score":0.02672923,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03318738944413976,"score_gpt":0.2961052659761246,"score_spread":0.2629178765319848,"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."}}