Search Result
2026
|
|
|
[RaSc26] A.T. Rao and K. Schneider LLM-Guided Interactive Verification of Synchronous Programs ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) |
|
|
|
|
|
[ScRa26] K. Schneider and A.T. Rao Interactive Verification Using Averest: The Basic Theorem Proving Infrastructure Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |