Model checking MASL specification of distributed real-time systems

DOI10.3103/S1063454107030065MaRDI QIDQ946007zbMATH OpenFDO

Authors D. Yu. Bugaichenko

Publication date 22 September 2008

Published in Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking for real-time systems
• Model Checking Real-Time Systems
• Model-checking in dense real-time
• Algebraic Methodology and Software Technology
• Timed CTL model checking in Real-Time Maude
• Modular abstractions for verifying real-time distributed systems

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Alternating-time temporal logic
• Model-Checking Timed ATL for Durational Concurrent Game Structures
• On the expressivity and complexity of quantitative branching-time temporal logics
• Timed Alternating-Time Temporal Logic

Cited in

(3)

• Model checking of a mobile robots perpetual exploration algorithm
• Algebraic Methodology and Software Technology
• MASL: A Logic for the Specification of Multiagent Real-Time Systems

This page was built for publication: Model checking MASL specification of distributed real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q946007)