Veröffentlichungen
| Titel | Autor(en) | Quelle |
|---|---|---|
| Efficient Verification of Programs with Complex Data Structures Using SMT Solvers | Tianhai Liu | Karlsruhe Institute of Technology (Juli 2018) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Computing Exact Loop Bounds for Bounded Program Verification | Tianhai Liu, Shmuel Tyszberowicz, Bernhard Beckert und Mana Taghdiri | International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2017) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Computing Specification-Sensitive Abstractions for Program Verification | Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl und Mana Taghdiri | Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Generating JML Specifications from Alloy Expressions | Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri und Shmuel Tyszberowicz | 10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014) |
| A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution | Tianhai Liu, Mateus Araújo, Marcelo d'Amorim und Mana Taghdiri | 10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Bounded Program Verification Using an SMT Solver: A Case Study | Tianhai Liu, Michael Nagel und Mana Taghdiri | Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012) |