Anzu: A Tool for Property Synthesis

Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 19th International Conference of Computer Aided Verification 2007
Publisher.
Pages258-262
ISBN (Print)978-3-540-73367-6
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Application

Cite this