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á bibliografie

Vydáno v:	IEEE access Ročník 10; s. 133749 - 133765
Hlavní autoři:	Do, Canh Minh, Phyo, Yati, Ogata, Kazuhiro
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!