Forschung
Stepwise: Neuro-symbolische Beweissuche für automatisierte Systemverifikation
Die formale Verifikation mittels interaktiver Theorembeweise gewinnt zunehmend an Bedeutung, um die Korrektheit kritischer Systeme zu garan…
arXiv – cs.AI