Binary decision diagrams, IEEE Transactions on Computers, C-( ,
DMTCP: Transparent checkpointing for cluster computations and the desktop, rd IEEE International Parallel and Distributed Processing Symposium (IPDPS' ) ,
Model checking of C and C++ with DIVINE, International Symposium on Automated Technology for Verification ,