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

DOI10.1016/J.JCSS.2006.03.003MaRDI QIDQ856423zbMATH OpenOpenAlexFDO

Authors 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

heuristic searchmodel checkingCCSstate explosiondeadlock

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1701758 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3870583 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 177515 (Why is no real title available?)
• scientific article; zbMATH DE number 2080054 (Why is no real title available?)
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• scientific article; zbMATH DE number 4119603 (Why is no real title available?)
• scientific article; zbMATH DE number 2087625 (Why is no real title available?)
• scientific article; zbMATH DE number 1852148 (Why is no real title available?)
• scientific article; zbMATH DE number 2102708 (Why is no real title available?)
• A CCS-based investigation of deadlock in a multi-process electronic mail system
• Compositional minimisation of finite state systems using interface specifications
• Construction and Analysis of Transition Systems with MEC
• Efficient verification of a multicast protocol for mobile computing
• Local model checking in the modal mu-calculus
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Property preserving abstractions for the verification of concurrent systems
• Selective mu-calculus and formula-based equivalence of transition systems
• Using heuristic search for finding deadlocks in concurrent systems

Cited in

(4)

• Discovering and correcting a deadlock in a channel implementation
• Abstract reduction in directed model checking CCS processes
• Formal verification of concurrent systems via directed model checking
• Using heuristic search for finding deadlocks in concurrent systems

Describes a project that uses

Uses Software

• Uppaal
• LOTOS

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)