Error diagnosis in finite communicating systems

DOI10.1007/3-540-55179-4_12MaRDI QIDQ6493527

Unnamed Author

Publication date: 29 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• An improved algorithm for decentralized extrema-finding in circular configurations of processes

Related Items (1)

Producing explanations for rich logics

This page was built for publication: Error diagnosis in finite communicating systems