Checker Superba was created in 1961.
Luidia superba was created in 1917.
Cynaeda superba was created in 1845.
Cerithiella superba was created in 1912.
Athis superba was created in 1912.
Hypsopygia superba was created in 1934.
Checker Model A was created in 1939.
Checker Records was created in 1952.
Checker Sedan was created in 1961.
Checker Marathon was created in 1961.
Flat File Checker was created in 2008.
Uppaal Model Checker was created in 1999.
TAPAAL Model Checker was created in 2008.