DELFIN^+: an efficient deadlock detection tool for CCS processes

DOI10.1016/J.JCSS.2006.03.003zbMATH Open1118.68086OpenAlexW2007866490MaRDI QIDQ856423FDOQ856423

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

Recommendations

• Using heuristic search for finding deadlocks in concurrent systems
• Abstract reduction in directed model checking CCS processes
• Formal verification of concurrent systems via directed model checking
• Model-checking CSP-Z: Strategy, tool support and industrial application
• A CCS-based investigation of deadlock in a multi-process electronic mail system

zbMATH Keywords

heuristic searchmodel checkingCCSstate explosiondeadlock

Mathematics Subject Classification ID

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

Cites Work

• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositional minimisation of finite state systems using interface specifications
• Title not available (Why is that?)
• Local model checking in the modal mu-calculus
• Property preserving abstractions for the verification of concurrent systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A CCS-based investigation of deadlock in a multi-process electronic mail system
• Selective mu-calculus and formula-based equivalence of transition systems
• Efficient verification of a multicast protocol for mobile computing
• Using heuristic search for finding deadlocks in concurrent systems
• Title not available (Why is that?)
• Construction and Analysis of Transition Systems with MEC

Cited In (3)

• Formal Verification of Concurrent Systems via Directed Model Checking
• Abstract reduction in directed model checking CCS processes
• Using heuristic search for finding deadlocks in concurrent systems

Uses Software

• LOTOS
• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856423)