Timed trace theoretic verification using partial order reduction

Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems ◽

10.1109/async.1999.761527 ◽

2003 ◽

Cited By ~ 16

Author(s):

T. Yoneda ◽

H. Ryu

Keyword(s):

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 ◽

Cited By ~ 9

Author(s):

Naling Zhang ◽

Markus Kusano ◽

Chao Wang

Keyword(s):

Partial Order ◽

Order Reduction ◽

Memory Models ◽

Partial Order Reduction ◽

Relaxed Memory

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 5

Author(s):

Julian Brunner ◽

Peter Lammich

Keyword(s):

Formal Verification ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Model Checker

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 ◽

Cited By ~ 13

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 ◽

Cited By ~ 1

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 ◽

Symbolic Model

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

Partial Order Reduction for Markov Decision Processes: A Survey

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/11804192_19 ◽

2006 ◽

pp. 408-427 ◽

Cited By ~ 9

Author(s):

Marcus Groesser ◽

Christel Baier

Keyword(s):

Partial Order ◽

Markov Decision Processes ◽

Order Reduction ◽

Decision Processes ◽

Partial Order Reduction ◽

Markov Decision

Download Full-text