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

Celý popis

Podrobná bibliografia

Vydané v:	IEEE access Ročník 10; s. 133749 - 133765
Hlavní autori:	Do, Canh Minh, Phyo, Yati, Ogata, Kazuhiro
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Piscataway IEEE 2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!