Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way

We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as <inline-formula> <tex-math notation="LaTeX">\varp...

Full description

Bibliographic Details

Published in:	IEEE access Vol. 10; pp. 133749 - 133765
Main Authors:	Do, Canh Minh, Phyo, Yati, Ogata, Kazuhiro
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Computer networks conditional stable properties divide and conquer approach Explosions Fault tolerance Fault tolerant systems Information science Memory management Model checking parallel algorithms Self-stabilizing systems state space explosion Transient analysis
ISSN:	2169-3536, 2169-3536
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!