Verification of distributed systems with the axiomatic system of MSVL

DOI10.1007/s00165-014-0303-1zbMath1328.68032OpenAlexW2041851546MaRDI QIDQ903507

Qian Ma, Nan Zhang, Zhenhua Duan, Xiaobing Wang

Publication date: 6 January 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-014-0303-1

zbMATH Keywords

distributed systemstheorem provingtemporal logictemporal logic programmingMSVL

Mathematics Subject Classification ID

Related Items (3)

Model Checking MSVL Programs Based on Dynamic Symbolic Execution ⋮ Efficient decision procedure for propositional projection temporal logic ⋮ Extending MSVL with Semaphore

Uses Software

• mCRL2
• METATEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• Integration of SMT-solvers in B and Event-B development environments
• Expressiveness of propositional projection temporal logic with star
• Axiomatic semantics of projection temporal logic programs
• Automated Theorem Proving: After 25 Years
• A Distributed Pi-Calculus
• Formal Specification and Verification of Distributed Systems
• Communicating sequential processes
• An Overview of the mCRL2 Toolset and Its Recent Advances

This page was built for publication: Verification of distributed systems with the axiomatic system of MSVL