Autonomous Driving System Verification A Runtime Verification Framework for ADSs Autoware Safety Analysis in cutin, cutout, and deceleration scenarios Enhancing Decision-making Safety in AD Through Online Model Checking Post-Quantum Cryptographic Protocol Analysis Formal analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol Hybrid Post-Quantum TL formal analysis in Maude-NPA Mixed IPSG - Invariant Proof Score Generator Verifying Safe Memory Reclamation in Concurrent Programs Formal verification of mutual exclusion protocols
