HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Yuting Chen

Publications
Theory-Specific Reasoning about Loops with Arrays using Vampire
Yuting Chen, Laura Kovacs and Simon Robillard
In:Vampire 2016. Proceedings of the 3rd Vampire Workshop

Keyphrases

consequence finding, invariant generation, polymorphic arrays, program analysis, program verification.

Copyright © 2012-2025 easychair.org. All rights reserved.