Efficient verification of distributed real-time systems with broadcasting behaviors

DOI10.1007/s11241-011-9122-0zbMath1230.68155OpenAlexW2154340824MaRDI QIDQ656082

Li-Wei Yao, Ya-Lan Yang, Farn Wang

Publication date: 26 January 2012

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-011-9122-0

zbMATH Keywords

verificationsynchronizationmodel-checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Model Checking Real-Time Systems

Uses Software

• Kronos
• IF-2.0
• SPIN
• Uppaal
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• Efficient algorithms for finding minimum spanning trees in undirected and directed graphs
• The Esterel synchronous programming language: Design, semantics, implementation
• A theory of timed automata
• Symbolic model checking for real-time systems
• Kronos: A verification tool for real-time systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Formal Methods for the Design of Real-Time Systems

This page was built for publication: Efficient verification of distributed real-time systems with broadcasting behaviors