\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes

DOI10.1016/j.jcss.2006.03.003zbMath1118.68086OpenAlexW2007866490MaRDI QIDQ856423

Sara Gradara, Antonella Santone, Maria Luisa Villani

Publication date: 7 December 2006

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2006.03.003

zbMATH Keywords

model checkingheuristic searchCCSstate explosiondeadlock

Mathematics Subject Classification ID

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

Related Items (2)

Formal Verification of Concurrent Systems via Directed Model Checking ⋮ Abstract reduction in directed model checking CCS processes

Uses Software

• LOTOS
• Uppaal

Cites Work

• A CCS-based investigation of deadlock in a multi-process electronic mail system
• Local model checking in the modal mu-calculus
• Property preserving abstractions for the verification of concurrent systems
• Compositional minimisation of finite state systems using interface specifications
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Selective mu-calculus and formula-based equivalence of transition systems
• Using heuristic search for finding deadlocks in concurrent systems
• Efficient Verification of a Multicast Protocol for Mobile Computing
• Construction and Analysis of Transition Systems with MEC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes