System and Method for Exhaustive Concurrency Verification of Interpreted Bytecode Programs Through Direct Bytecode-Level State Modelling, Memory-Model-Aware Scheduling, and Automated Verification Bound Inference
AU2026905853P0PendingBONOLLO UMBERTO
0 Cites 0 Cited by
Patent Information
- Application Number
- AU2026905853
- Authority / Receiving Office
- AU · AU
- Patent Type
- Applications
- Current Assignee / Owner
- Filing Date
- 2026-06-28
Need to check novelty before this filing date? Find Prior Art
No text content released.