TY  - RPRT
TI  - Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors
AU  - Mohannad Aldughaim
AU  - Kaled Alshmrany
AU  - Rafael Menezes
AU  - Lucas Cordeiro
AU  - Alexandru Stancu
PY  - 2022
UR  - https://arxiv.org/abs/2012.11245
ID  - 2012.11245
ER  -