Prediction of inherited and genetic mutations using the software model checker SPIN.

Zubin Balsara, Steve Roach

Browse the full SAC paper archive.