{"id":"W3203056386","doi":"10.4230/lipics.time.2021.5","title":"Model Checking of Stream Processing Pipelines","year":2021,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"Alpen-Adria-Universität Klagenfurt; LOEWE Zentrum AdRIA","keywords":"Computer science; Pipeline transport; Stream processing; Programming language; Model checking; Extension (predicate logic); Set (abstract data type); Computation; Distributed computing; 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.004420837,0.001089925,0.0009909822,0.001008326,0.0006407098,0.002097348,0.002272721,0.001214333,0.003501372],"category_scores_gemma":[0.01373778,0.001119855,0.002809468,0.000730924,0.002844621,0.003444391,0.002899632,0.001672034,0.000397721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001790549,"about_ca_system_score_gemma":0.003164834,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00822243,"about_ca_topic_score_gemma":0.00709578,"domain_scores_codex":[0.9951965,0.001434624,0.0003690986,0.0008309283,0.001619705,0.000549053],"domain_scores_gemma":[0.992388,0.005023701,0.0005178384,0.001253208,0.0006913865,0.000125914],"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.0004542198,0.0001550272,0.003980604,0.0005462433,0.0001737262,0.0005887594,0.0003699111,0.775248,0.02634803,0.159233,0.002344848,0.0305577],"study_design_scores_gemma":[0.0001028133,0.00007250896,0.0002652556,0.00003951857,0.0000492547,0.00007158455,0.00002805204,0.9191659,0.02438099,0.05321285,0.002585744,0.00002547796],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05376744,0.00009847563,0.9370607,0.0001973281,0.0000395553,0.0001334159,0.0004681738,0.006245328,0.001989644],"genre_scores_gemma":[0.701399,0.0002847243,0.2909425,0.0002061186,0.00003744092,0.0004184823,0.001655263,0.001126077,0.003930445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00822243,"threshold_uncertainty_score":0.02337986,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0477818302484747,"score_gpt":0.3149684351585874,"score_spread":0.2671866049101126,"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."}}