Partial Order Reduction for Event-Driven Multi-threaded Programs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-49674-9_44 ◽

2016 ◽

pp. 680-697 ◽

Author(s):

Pallavi Maiya ◽

Rahul Gupta ◽

Aditya Kanade ◽

Rupak Majumdar

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Download Full-text

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_20 ◽

2022 ◽

pp. 400-424 ◽

Author(s):

Rahmadi Trimananda ◽

Weiyu Luo ◽

Brian Demsky ◽

Guoqing Harry Xu

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Download Full-text

Dynamic partial order reduction for relaxed memory models

ACM SIGPLAN Notices ◽

10.1145/2813885.2737956 ◽

2015 ◽

Vol 50 (6) ◽

pp. 250-259 ◽

Author(s):

Naling Zhang ◽

Markus Kusano ◽

Chao Wang

Keyword(s):

Partial Order ◽

Order Reduction ◽

Memory Models ◽

Partial Order Reduction ◽

Download Full-text

Urgent Partial Order Reduction for Extended Timed Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59152-6_10 ◽

2020 ◽

pp. 179-195

Author(s):

Kim G. Larsen ◽

Marius Mikučionis ◽

Marco Muñiz ◽

Jiří Srba

Keyword(s):

Partial Order ◽

Timed Automata ◽

Order Reduction ◽

Partial Order Reduction ◽

Extended Timed Automata

Download Full-text

What’s Wrong with On-the-Fly Partial Order Reduction

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-25543-5_27 ◽

2019 ◽

pp. 478-495 ◽

Author(s):

Stephen F. Siegel

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-40648-0_23 ◽

2016 ◽

pp. 307-321 ◽

Author(s):

Julian Brunner ◽

Peter Lammich

Keyword(s):

Formal Verification ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Download Full-text

Partial order reduction: Model-checking using representatives

Mathematical Foundations of Computer Science 1996 - Lecture Notes in Computer Science ◽

10.1007/3-540-61550-4_141 ◽

1996 ◽

pp. 93-112 ◽

Author(s):

Doron Peled

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Reduction Model

Download Full-text

Partial-Order Reduction

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_6 ◽

2018 ◽

pp. 173-190 ◽

Author(s):

Doron Peled

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Partial-Order Reduction for Supervisory Controller Synthesis

IEEE Transactions on Automatic Control ◽

10.1109/tac.2021.3129161 ◽

2021 ◽

pp. 1-1

Author(s):

Bram Vandersanden ◽

Marc Geilen ◽

Michel Reniers ◽

Twan Basten

Keyword(s):

Partial Order ◽

Order Reduction ◽

Controller Synthesis ◽

Partial Order Reduction ◽

Supervisory Controller

Download Full-text

Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_29 ◽

2011 ◽

pp. 406-421

Author(s):

José Vander Meulen ◽

Charles Pecheur

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Symbolic Model Checking ◽

Partial Order Reduction ◽

Download Full-text

Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_8 ◽

2022 ◽

pp. 151-173

Author(s):

Peter Gjøl Jensen ◽

Jiří Srba ◽

Nikolaj Jensen Ulrik ◽

Simon Mejlby Virenfeldt

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Guided Search ◽

Ltl Model Checking

Download Full-text