Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/509
Title: URBiVA: Uniform reduction to bit-vector arithmetic
Authors: Marić, Filip 
Janičić, Predrag 
Affiliations: Informatics and Computer Science 
Informatics and Computer Science 
Issue Date: 10-Aug-2010
Rank: M33
Related Publication(s): International Joint Conference on Automated Reasoning IJCAR 2010
Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Abstract: 
We describe a system URBiVA for specifying and solving a range of problems by uniformly reducing them to bit-vector arithmetic (bva). A problem description is given in a C-like specification language and this high-level specification is transformed to a bva formula by symbolic execution. The formula is passed to a bva solver and, if it is satisfiable, its models give solutions of the problem. The ...
URI: https://research.matf.bg.ac.rs/handle/123456789/509
ISBN: 3642142028
ISSN: 03029743
DOI: 10.1007/978-3-642-14203-1_29
Appears in Collections:Research outputs

Show full item record

SCOPUSTM   
Citations

8
checked on Apr 5, 2025

Page view(s)

12
checked on Jan 19, 2025

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.