Bounded-memory algorithms for verification on-the-fly

DOI10.1007/3-540-55179-4_19MaRDI QIDQ6493536

Thierry Jéron, Claude Jard

Publication date: 29 April 2024

Mathematics Subject Classification ID

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

Cites Work

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• A partial approach to model checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bounded-memory algorithms for verification on-the-fly