Tag: program verification

This quiz aims to evaluate your understanding of Dynamic Logic, a modal logic system used to reason about programs and their effects on the world.