论文信息 - 10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware

10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware

From April 19th, 2010 to April 23rd, 2010, the Dagstuhl Seminar 10161 "Decision Procedures in Soft, Hard and Bio-ware" was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as links to slides and links to papers behind the presentations and papers produced as a result of the seminar are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Helmut Veith | Nikolaj Bjørner | Andrei Voronkov | Robert Nieuwenhuis

[1] S. Ghilardi. Model-Checking Modulo Theories at Work : the integration of Yices in MCMT , 2009 .

[2] Silvio Ghilardi,et al. Goal-Directed Invariant Synthesis for Model Checking Modulo Theories , 2009, TABLEAUX.

[3] Silvio Ghilardi,et al. Light-Weight SMT-based Model Checking , 2009, Electron. Notes Theor. Comput. Sci..

[4] Silvio Ghilardi,et al. Towards SMT Model Checking of Array-Based Systems , 2008, IJCAR.

[5] Silvio Ghilardi,et al. MCMT: A Model Checker Modulo Theories , 2010, IJCAR.

[6] Parosh Aziz Abdulla,et al. General decidability theorems for infinite-state systems , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.