most citedAlgorithm Selection for Software Verification using Graph Neural Networks

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2022★ 1 cited

Algorithm Selection for Software Verification using Graph Neural Networks

Will Leeson, Matthew B Dwyer

The field of software verification has produced a wide array of algorithmic techniques that can prove a variety of properties of a given program. It has been demonstrated that the…