Publication | Closed Access

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

EngineeringAutomated ReasoningProof ComplexityVerificationMachine CodeFormal MethodsProof AssistantAutomated ProofProof TheoryComputer ScienceProof SystemFormal Verification