HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Banghu Yin

Publications
Verifying Numerical Programs via Iterative Abstract Testing
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot
EasyChair Preprint no. 1749

Keyphrases

abstract interpretation, Abstract Testing, Input space partitioning, program verification.

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