Login / Signup

D-Finder: A Tool for Compositional Deadlock Detection and Verification.

Saddek BensalemMarius BozgaThanh-Hung NguyenJoseph Sifakis
Published in: CAV (2009)
Keyphrases
  • deadlock detection
  • distributed database systems
  • distributed systems
  • communication protocol
  • database
  • decision making
  • data analysis
  • management system
  • database management systems
  • intelligent agents
  • end to end