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

Full description

Saved in:

Bibliographic Details
Published in:	Formal aspects of computing Vol. 27; no. 1; pp. 103 - 131
Main Authors:	Ma, Qian, Duan, Zhenhua, Zhang, Nan, Wang, Xiaobing
Format:	Journal Article
Language:	English
Published:	London Springer London 01.01.2015 Association for Computing Machinery
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!