Abduction of trap invariants in parameterized systems.

Javier Esparza Mikhail A. Raskin Christoph Welzel

Published in: GandALF (2021)

Keyphrases

databases
information retrieval
management system
computer systems
neural network
machine learning
knowledge base
pattern recognition
distributed systems
projective invariants