Login / Signup

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.

Vidar SlåttenFrank Alexander KraemerPeter Herrmann
Published in: GPCE (2011)
Keyphrases
  • distributed systems
  • concurrent systems
  • information systems
  • load balancing
  • model checking
  • fault tolerant
  • fault tolerance
  • knowledge base
  • distributed environment
  • distributed databases
  • geographically distributed