Using Magnatic Disk Instead of Main Memory in the Murphi Verifier
Abstract elided by the publisher.
Related papers
- OMR: out-of-core MapReduce for large data sets ISMM 2018
- Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing CGO 2021
- Parallelizing the Murphi Verifier CAV 1997
- Verifying Systems with Replicated Components in Murphi CAV 1996
- Reality-Based Optimization CGO 2003
- Memory Management in Flash-Memory Disks with Data Compression ISMM 1995
- Adiar Binary Decision Diagrams in External Memory TACAS 2022
- TL4x: Buffered Durable Transactions on Disk as Fast as in Memory PPoPP 2023