The following pages link to (Q4845488):
Displaying 7 items.
- Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository (Q1004294) (← links)
- (Q3376796) (← links)
- (Q3567780) (← links)
- (Q4705095) (← links)
- Verification of heterogeneous multi-agent system using MCMAS (Q5265639) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
- A deep reinforcement learning framework with formal verification (Q6610260) (← links)