A Guide to Quantified Propositional G¨ odel Logic Matthias Baaz? , Agata Ciabattoni?? , Norbert Preining? , and Helmut Veith ???

Source URL: www.preining.info

What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

Source URL: forsyte.at

Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

Source URL: multicore.doc.ic.ac.uk

Helmut Veith “Und wenn Du dich getröstet hast, wirst Du froh sein, mich gekannt zu haben.

Source URL: www.vcla.at

On March 12th 2016, Prof. Helmut Veith has unexpectedly passed away after a short and severe illness. We, the students of the Doctoral College Logical Methods in Computer Science – LogiCS, are deeply moved by these dev

Source URL: www.vcla.at

FACULTY OF INFORMATICS @ VIENNA UNIVERSITY OF TECHNOLOGY (TU WIEN) Science and Technology in the Information Age

Source URL: www.informatik.tuwien.ac.at

• Vienna University of Technology
• Informatics
• Environmental informatics
• VRVis
• Health informatics
• Helmut Veith
• Alpen-Adria-Universitt Klagenfurt

How did You Specify Your Test Suite ? Andreas Holzer Michael Tautschnig Helmut Veith

Source URL: christian.schallhart.net

Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Numerical software
• BLAST model checker
• CPAchecker
• Solver
• Blast
• Formal methods
• Logic in computer science

VSL 2014 in aller Öffentlichkeit goes public konzipiert und kuratiert von devised and curated by Helmut Veith und and Oliver Lehmann Organized by In partnership with

Source URL: vsl2014.logic.at

FS HELL: Systematic Test Case Generation for Dynamic Analysis and Measurement ⋆ (Tool Paper) Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith Technische Universit¨at Darmstadt, Germany Abstra

Source URL: www.tautschnig.net