{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002275055,0.000479027,0.0004691718,0.001127424,0.0002581656,0.0006079357,0.003237,0.000294417,0.000006989615],"category_scores_gemma":[0.0004033401,0.0004521247,0.0000870924,0.002057897,0.0004051011,0.0008188787,0.001304455,0.0007614639,0.0002774305],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003728835,"about_ca_system_score_gemma":0.0005309684,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001879723,"about_ca_topic_score_gemma":0.000005922867,"domain_scores_codex":[0.9954886,0.00009683934,0.0006497253,0.001781988,0.001248378,0.0007344565],"domain_scores_gemma":[0.9970838,0.0001941611,0.0003031204,0.001838772,0.0003490702,0.0002311064],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009503521,0.0000494387,0.000002462041,0.00009208018,0.00001271479,0.00001369308,0.002953296,0.1648166,0.0002375607,0.1704893,0.00009166957,0.6612316],"study_design_scores_gemma":[0.0001482385,0.0001709388,0.00004095457,0.0002027563,0.000007673605,0.00008676342,6.3024e-7,0.8831805,0.001303307,0.1122888,0.001922587,0.0006468332],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003201763,0.00003272043,0.9886714,0.0005058703,0.003669112,0.0008292172,0.000004166233,0.000451614,0.00580388],"genre_scores_gemma":[0.002908317,0.0000125162,0.9951088,0.0004110949,0.0004867858,0.00006262582,0.000009106035,0.00004847756,0.0009523141],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7183638,"threshold_uncertainty_score":0.9997931,"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."}}