Incremental column-wise verification of arithmetic circuits using computer algebra (English)
- New search for: Kaufmann, Daniela
- New search for: Biere, Armin
- Further information on Biere, Armin:
- https://orcid.org/0000-0001-7170-9242
- New search for: Kauers, Manuel
- New search for: Kaufmann, Daniela
- New search for: Biere, Armin
- Further information on Biere, Armin:
- https://orcid.org/0000-0001-7170-9242
- New search for: Kauers, Manuel
In:
Formal Methods in System Design
;
56
, 1-3
; 22-54
;
2019
-
ISSN:
- Article (Journal) / Print
-
Title:Incremental column-wise verification of arithmetic circuits using computer algebra
-
Contributors:
-
Published in:Formal Methods in System Design ; 56, 1-3 ; 22-54
-
Publisher:
- New search for: Springer US
- New search for: Springer
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2019
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.30 / 53.52 / 54.20 / 54.00
- Further information on Basic classification
- New search for: 770/3155
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 56, Issue 1-3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
First-order temporal logic monitoring with BDDsHavelund, Klaus / Peled, Doron / Ulus, Dogan et al. | 2020
- 22
-
Incremental column-wise verification of arithmetic circuits using computer algebraKaufmann, Daniela / Biere, Armin / Kauers, Manuel et al. | 2020
- 55
-
Parameterized verification of algorithms for oblivious robots on a ringSangnier, Arnaud / Sznajder, Nathalie / Potop-Butucaru, Maria / Tixeuil, Sébastien et al. | 2020
- 90
-
Exact quantitative probabilistic model checking through rational searchMathur, Umang / Bauer, Matthew S. / Chadha, Rohit / Sistla, A. Prasad / Viswanathan, Mahesh et al. | 2020
- 127
-
Automated repair by example for firewallsHallahan, William T. / Zhai, Ennan / Piskac, Ruzica et al. | 2020
- 154
-
Learning inductive invariants by sampling from frequency distributionsFedyukovich, Grigory / Kaufman, Samuel J. / Bodík, Rastislav et al. | 2020