Similar Items: On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
- täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- A New Interaction Concept for Interactive and Autoactive Program Verification
- A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
- Verification of Neural Networks (Lecture Notes)
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)