The following pages link to Modular product programs (Q2323992):
Displaying 7 items.
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Product Modularization Using Cuckoo Search Algorithm (Q2980172) (← links)
- Software Verification of Hyperproperties Beyond k-Safety (Q6487322) (← links)