Automatic temporal verification of buffer systems

DOI10.1007/3-540-55179-4_7MaRDI QIDQ6493518

A. Prasad Sistla, Lenore D. Zuck

Publication date: 29 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Reasoning in a restricted temporal logic
• Specifying Concurrent Program Modules
• Can message buffers be axiomatized in linear temporal logic?
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Proving Liveness Properties of Concurrent Programs

This page was built for publication: Automatic temporal verification of buffer systems