• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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