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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE access Jg. 10; S. 133749 - 133765
Hauptverfasser:	Do, Canh Minh, Phyo, Yati, Ogata, Kazuhiro
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Piscataway IEEE 2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!