Demiurge 1.2.0: A SAT-Based Synthesis Tool

Robert Könighofer, Martina Seidl

Research output: Book/Report › Other report

Original languageEnglish
Publisher.
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Access to Document

    • EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

      Tögl, R. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

      1/10/12 → 30/09/15

      Project: Research project

    • FWF - RiSE - Rigorous Systems Engineering

      Könighofer, R. (Co-Investigator (CoI)), Khalimov, A. (Co-Investigator (CoI)), Bloem, R. (Principal Investigator (PI)), Könighofer, B. (Co-Investigator (CoI)) & Jacobs, S. (Co-Investigator (CoI))

      1/03/11 → 31/08/19

      Project: Research project

    • Formal Methods for Design & Verification

      Jacobs, S. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)), Könighofer, B. (Co-Investigator (CoI)), Khalimov, A. (Co-Investigator (CoI)), Hofferek, G. (Co-Investigator (CoI)) & Braud-Santoni, N. (Co-Investigator (CoI))

      1/02/08 → 15/07/19

      Project: Research area

    Cite this