Login / Signup

DiVinE - A Tool for Distributed Verification.

Jiri BarnatLubos BrimIvana CernáPavel MoravecPetr RockaiPavel Simecek
Published in: CAV (2006)
Keyphrases
  • distributed systems
  • software tools
  • cooperative
  • distributed environment
  • multi agent
  • analysis tool
  • data sets
  • social networks
  • wireless sensor networks
  • fault tolerant
  • loosely coupled
  • distributed network