Login / Signup

VCC: A Practical System for Verifying Concurrent C.

Ernie CohenMarkus DahlweidMark A. HillebrandDirk LeinenbachMichal MoskalThomas SantenWolfram SchulteStephan Tobies
Published in: TPHOLs (2009)
Keyphrases
  • neural network
  • information systems
  • data sets
  • information retrieval
  • decision making
  • multi agent systems
  • object recognition
  • probabilistic model
  • management system
  • model checking
  • practical problems