Call for Presentations and Verification Challenges
Der EVIT-Workshop, der parallel zur CAV 2026 stattfindet, bittet um Ihre Beiträge!
Der Workshop soll die Diskussion über komponierbare und ergonomische Verifikationsschnittstellen und -werkzeuge anregen, die Forschungsgemeinschaften und Industrie dabei helfen, ihre Erkenntnisse auszutauschen und zu vergleichen, um ihre Ansätze leicht miteinander zu verbinden.
Mögliche Themen von Interesse sind unter anderem:
- Methoden für Korrektheit und Sicherheit durch Design
- Entwurf von Spezifikationssprachen
- Integration von Beweissystemen
- Kontinuierliche Verifizierung
- Pflege und Reparatur von Beweisen
- Modulare Verifizierungsschnittstellen
- Open-Source- vs. Closed-Source-Verifizierungswerkzeuge
- Fallstudien, Werkzeuge und Herausforderungen bei der Verifizierung
Die Herausforderungen bei der Verifizierung sollen technische Probleme aufzeigen, die zwar auf bestehenden Theorien basieren, in der Praxis jedoch nach wie vor schwierig zu lösen sind.
Präsentations- und Herausforderungsvorschläge müssen als erweiterte Zusammenfassung von bis zu 4 Seiten im LNCS-Format ohne Referenzen über HotCRP eingereicht werden. Die Einreichungen können sich mit bereits veröffentlichten Arbeiten überschneiden und werden nach ihrer Relevanz für den Workshop bewertet. Der Begutachtungsprozess erfolgt als Single-Blind-Verfahren.
Einreichungsfrist: wird noch bekannt gegeben