Login / Signup

Combining State- and Event-Based Semantics to Verify Highly Available Programs.

Peter ZellerAnnette BieniusaArnd Poetzsch-Heffter
Published in: FACS (2019)
Keyphrases
  • query processing
  • event detection
  • genetic algorithm
  • natural language
  • expert systems
  • conceptual model
  • control flow
  • normal logic programs