{"id":"W4316662751","doi":"10.1007/978-3-031-24950-1_7","title":"A Pragmatic Approach to Stateful Partial Order Reduction","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Partial order reduction; Stateful firewall; Reduction (mathematics); Model checking; Context (archaeology); Java; Focus (optics); Overhead (engineering); State space; State (computer science); Theoretical computer science; Programming language; Algorithm; Distributed computing","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.003470196,0.0009591632,0.001169575,0.00130553,0.0024624,0.004559041,0.002625752,0.00197429,0.0132187],"category_scores_gemma":[0.00851468,0.001393462,0.002221954,0.00155183,0.007105354,0.007569619,0.004971268,0.006590628,0.002770144],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002086774,"about_ca_system_score_gemma":0.0023245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001567316,"about_ca_topic_score_gemma":0.002786899,"domain_scores_codex":[0.9949841,0.00186952,0.0002679336,0.000432688,0.002085228,0.0003605167],"domain_scores_gemma":[0.9959304,0.002084266,0.00009375084,0.001334372,0.0004558238,0.0001014651],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001103687,0.00001473267,0.00001539141,0.00003763102,0.000004861869,0.00002391759,0.0001451191,0.0009573157,0.0004313565,0.9883342,0.001435394,0.008588957],"study_design_scores_gemma":[0.00001427493,0.00001401856,0.00002016308,0.00001663802,0.0000144127,0.00004140609,0.00004208759,0.008430039,0.001259694,0.974329,0.01580383,0.0000145768],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003338599,0.0003098535,0.9259783,0.002536952,0.0003523226,0.000146315,0.0001463957,0.00125483,0.06593647],"genre_scores_gemma":[0.3567313,0.001027482,0.5677276,0.00177872,0.0008260477,0.0009517013,0.0005196737,0.001696444,0.06874108],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0132187,"threshold_uncertainty_score":0.04422098,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03692247566977151,"score_gpt":0.2911935676370818,"score_spread":0.2542710919673103,"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."}}