Combining type-checking with model-checking for system verification.

Zhiqiang Ren, Hongwei Xi

Browse the full MEMOCODE paper archive.