Programy według thechecker.sf.net

Checker framework jest łatwo rozszerzalny zestaw check/transform do tworzenia hierarchii operacji łańcucha łatwo do magazynu/do utworzenia i ponownego wykorzystania (w czasie wykonywania, jeśli chcesz).