Login / Signup
Combining State- and Event-Based Semantics to Verify Highly Available Programs.
Peter Zeller
Annette Bieniusa
Arnd Poetzsch-Heffter
Published in:
FACS (2019)
Keyphrases
</>
query processing
event detection
genetic algorithm
natural language
expert systems
conceptual model
control flow
normal logic programs