Incremental column-wise verification of arithmetic circuits using computer algebra (English)
Free access
- 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) / Electronic Resource
-
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 Science + Business Media B.V
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2019
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 53.52$jElektronische Schaltungen / 54.30 / 53.52 / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 / 54.20$jDatenverarbeitungsanlagen: Allgemeines
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 53.52$jElektronische Schaltungen / 54.30 Systemarchitektur: Allgemeines / 53.52 Elektronische Schaltungen / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 Datenverarbeitungsanlagen: Allgemeines / 54.20$jDatenverarbeitungsanlagen: Allgemeines -
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. | 2019
- 22
-
Incremental column-wise verification of arithmetic circuits using computer algebraKaufmann, Daniela / Biere, Armin / Kauers, Manuel et al. | 2019
- 55
-
Parameterized verification of algorithms for oblivious robots on a ringSangnier, Arnaud / Sznajder, Nathalie / Potop-Butucaru, Maria / Tixeuil, Sébastien et al. | 2019
- 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