Preface of the Special Issue in Memoriam Helmut Veith (English)
Free access
- New search for: Gottlob, Georg
- New search for: Henzinger, Thomas A.
- New search for: Weissenbacher, Georg
- New search for: Gottlob, Georg
- New search for: Henzinger, Thomas A.
- New search for: Weissenbacher, Georg
In:
Formal Methods in System Design
;
51
, 2
;
267-269
;
2017
- Article (Journal) / Electronic Resource
-
Title:Preface of the Special Issue in Memoriam Helmut Veith
-
Contributors:
-
Published in:Formal Methods in System Design ; 51, 2 ; 267-269
-
Publisher:
- New search for: Springer US
-
Place of publication:New York
-
Publication date:2017-11-01
-
Size:3 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 51, Issue 2
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.
- 267
-
Preface of the Special Issue in Memoriam Helmut VeithGottlob, Georg / Henzinger, Thomas A. / Weissenbacher, Georg et al. | 2017
- 270
-
Para Formula Not Shown : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsKonnov, I. / Lazić, M. / Veith, H. / Widder, J. et al. | 2017
- 270
-
Para$$^2$$: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsKonnov, Igor / Lazić, Marijana / Veith, Helmut / Widder, Josef et al. | 2017
- 308
-
On compiling Boolean circuits optimized for secure multi-party computationBüscher, Niklas / Franz, Martin / Holzer, Andreas / Veith, Helmut / Katzenbeisser, Stefan et al. | 2017
- 332
-
Shield synthesisKönighofer, Bettina / Alshiekh, Mohammed / Bloem, Roderick / Humphrey, Laura / Könighofer, Robert / Topcu, Ufuk / Wang, Chao et al. | 2017
- 362
-
Program synthesis for interactive-security systemsHarris, William R. / Jha, Somesh / Reps, Thomas W. / Seshia, Sanjit A. et al. | 2017
- 395
-
A methodology to take credit for high-level verification during RTL verificationDoucet, Frederic / Kurshan, Robert et al. | 2017
- 419
-
Keeping logic in the trivium of computer science: a teaching perspectiveMakowsky, J. A. / Zamansky, A. et al. | 2017