Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.
