CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.

Dirk Beyer Sudeep Kanav

Published in: TACAS (1) (2022)

Keyphrases

cooperative
complex systems
management system
learning systems
model checking
asynchronous circuits
machine learning
genetic algorithm
decision trees
multi agent
expert systems
formal methods