David M. SchmidtBielefeld University · CITEC - Cognitive Interaction Technology
David M. Schmidt
Master of Science
About
2
Publications
104
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
35
Citations
Introduction
Skills and Expertise
Publications
Publications (2)
In this paper, we show how to automatically generate hard verification tasks in order to support events like the Model Checking Contest or the Rigorous Examination of Reactive Systems Challenge with tailored benchmark problems for analyzing the validity of linear-time properties in parallel systems. Characteristic of the generated benchmarks are tw...
![Büchi automaton B for 〚Φ〛\documentclass[12pt]{minimal}...](publication/352730931/figure/fig2/AS:1038452216836096@1624597710433/Buechi-automaton-B-for-PHdocumentclass12ptminimal-usepackageamsmath_Q320.jpg)
![Büchi automaton B′\documentclass[12pt]{minimal} \usepackage{amsmath}...](publication/352730931/figure/fig3/AS:1038452221042689@1624597711068/Buechi-automaton-Bdocumentclass12ptminimal-usepackageamsmath-usepackagewasysym_Q320.jpg)
![Büchi automaton Bres=B∩B′\documentclass[12pt]{minimal}...](publication/352730931/figure/fig4/AS:1038452221018113@1624597711425/Buechi-automaton-BresBBdocumentclass12ptminimal-usepackageamsmath_Q320.jpg)
![Bres\documentclass[12pt]{minimal} \usepackage{amsmath}...](publication/352730931/figure/fig5/AS:1038452221030420@1624597711739/Bresdocumentclass12ptminimal-usepackageamsmath-usepackagewasysym_Q320.jpg)
This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems, its profile and intentions, its relation to other competitions, and, in particular, its evolution due to the feedback of participants, and (2) presents the most recent development concerning the synthesis of hard benchmark problems. In...
