Login / Signup

Compositional Verification of Infinite State Systems.

Giorgio DelzannoMaurizio GabbrielliMaria Chiara Meo
Published in: ICLP (2003)
Keyphrases
  • distributed systems
  • complex systems
  • databases
  • management system
  • multimedia
  • data structure
  • natural language
  • digital libraries
  • expert systems
  • knowledge based systems
  • learning systems
  • model checking
  • systems require