Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution)
In: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263; (2022)
Online
unknown
Zugriff:
Graves-CPAis a verification tool which uses algorithm selection to decide an ordering of underlying verifiers to most effectively verify a given program.Graves-CPArepresents programs using an amalgam of traditional program graph representations and uses state-of-the-art graph neural network techniques to dynamically decide how to run a set of verification techniques. TheGravestechnique is implementation agnostic, but it’s competition submission,Graves-CPA, is built using several CPAchecker configurations as its underlying verifiers.
| Titel: |
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution)
|
|---|---|
| Autor/in / Beteiligte Person: | Leeson, William ; Dwyer, Matthew |
| Link: | |
| Quelle: | Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263; (2022) |
| Veröffentlichung: | Springer International Publishing, 2022 |
| Medientyp: | unknown |
| ISBN: | 978-3-030-99526-3 (print) |
| DOI: | 10.1007/978-3-030-99527-0_28 |
| Sonstiges: |
|