Papers tagged formal verification Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant IronFleet: Proving Practical Distributed Systems Correct Kernohan: A High-Integrity, High-Assurance Microkernel for Embedded Systems Solution of a Problem in Concurrent Program Control Browse All Keywords By Category
