Verification of distributed systems with the axiomatic system of MSVL

Since distributed systems are inherently concurrent and asynchronous, it is a challenge for us to verify distributed systems. MSVL is a useful temporal logic programming language and its axiomatic system has been established. However, the axiomatic system of MSVL lacks mechanisms to manage asynchron...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal aspects of computing Ročník 27; číslo 1; s. 103 - 131
Hlavní autoři:	Ma, Qian, Duan, Zhenhua, Zhang, Nan, Wang, Xiaobing
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer London 01.01.2015 Association for Computing Machinery
Témata:	Algorithms Axioms Communication systems Completeness Computation Computer networks Computer Science Math Applications in Computer Science Original Article Programming languages Temporal logic Theory of Computation MSVL Temporal logic programming Distributed systems Theorem proving Temporal logic
ISSN:	0934-5043, 1433-299X
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!

Buďte první, kdo okomentuje tento záznam!