@entry{rad-pur-15-aa, author = {C Radojicic and T Purusothaman...}, title = {Towards formal validation: Symbolic simulation of SystemC models}, journal = {2015 10th International ...,}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/7127376/?casa_token=NoTAXW0N40wAAAAA:hdq3DLtPRiYsjsgmuIDIXWaz-XflZfYekfuB1teY1QigbV2KlJtAxaU4g1DfmkUsBxWCylMo}}}, quotes = {... XAAF implements control- and data flow operations of C++ on (Extended) Affine Arithmetic Forms. Its basic form is mostly identical to the general form of uncertainties from the previous ...} }