Assume-Guarantee Verification for Probabilistic Systems

prismmodelchecker.org

Assume-Guarantee Verification for Probabilistic Systems

More magazines by this user
Similar magazines