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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.