A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

von Do, Canh Minh
Veröffentlicht in SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method (2020)

A Divide & Conquer Approach to Conditional Stable Model Checking

von Phyo, Yati
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Automated Quantum Program Verification in Dynamic Quantum Logic

von Takagi, Tsubasa
Veröffentlicht in DaLí (5. : 2023 : Tiflis) Dynamic logic - new trends and applications (2024)

Parallel Maude-NPA for Cryptographic Protocol Analysis

von Do, Canh Minh
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)