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

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08867-9_26 ◽

2014 ◽

pp. 391-406 ◽

Author(s):

Henri Hansen ◽

Shang-Wei Lin ◽

Yang Liu ◽

Truong Khanh Nguyen ◽

Jun Sun

Keyword(s):

Partial Order ◽

Timed Automata ◽

Order Reduction ◽

Partial Order Reduction ◽

Download Full-text

A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking

2012 IEEE Sixth International Conference on Software Security and Reliability Companion ◽

10.1109/sere-c.2012.45 ◽

2012 ◽

Author(s):

Xiaoyu Zhou ◽

Qian Li ◽

Jianhua Zhao

Keyword(s):

Model Checking ◽

Partial Order ◽

Timed Automata ◽

Order Reduction ◽

Reduction Technique ◽

Partial Order Reduction ◽

Download Full-text

Partial Order Reduction for Model Checking of Timed Automata

CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48320-9_30 ◽

1999 ◽

pp. 431-446 ◽

Author(s):

Marius Minea

Keyword(s):

Model Checking ◽

Partial Order ◽

Timed Automata ◽

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

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