Publication | Closed Access
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)
23
Citations
22
References
2015
Year
EngineeringAutomated ReasoningProof ComplexityVerificationMachine CodeFormal MethodsProof AssistantAutomated ProofProof TheoryComputer ScienceProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1