Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps

Parallel and distributed algorithms, including those for fault tolerance, often use timestamps to coordinate the behaviors of processes. These algorithms are hard to correctly design and often subject to subtle design faults. Model checking, which is a state exploration-based verification method, ha...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing) s. 261 - 266
Hlavní autoři:	Nakano, Shinya, Tsuchiya, Tatsuhiro
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.01.2017
Témata:	Algorithm design and analysis bakery algorithm data abstraction Distributed algorithms Electronic mail Fault tolerance Fault tolerant systems Information science Model checking SPIN timestamp
ISSN:	2473-3105
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!