Programas por padmig.sf.net

A biblioteca Paderborn Thread Migration and Checkpointing (PadMig) fornece suporte para a migração de fios e verificação para a linguagem de programação java.