CoVEGI: Cooperative Verification via Externally Generated Invariants.

Jan Haltermann Heike Wehrheim

Published in: Software Engineering (2022)

Keyphrases

cooperative
model checking
automatically generated
multi agent systems
moment invariants
verification method
generation method
affine transformation
formal verification
randomly selected
face verification
affine invariant
data sets
multi agent
three dimensional
information systems
genetic algorithm