GenAI-beschleunigte TLA+-Herausforderung: Ein Rennen in die Zukunft der formalen Verifikation
2025-05-06
Die TLA+-Stiftung und NVIDIA haben eine Herausforderung ins Leben gerufen, die die Verwendung von generativer KI zur Verbesserung der TLA+-Spezifikationssprache fördert. Teilnehmer können KI für Code-Refactoring, die Erstellung von Entwicklungstools, die Generierung von Visualisierungen und sogar die Synthese von Spezifikationen verwenden. Die Jury wird die Einreichungen anhand ihrer Funktionalität, ihrer Relevanz für das TLA+-Ökosystem und der innovativen Verwendung von KI bewerten. Alle Einreichungen müssen Open Source sein, reproduzierbar sein, und ein Prototyp ist ausreichend. Diese Herausforderung zielt darauf ab, das Potenzial von generativer KI innerhalb von TLA+ zu erforschen und die Community zu beleben.
Mehr lesen
Entwicklung