CREATE TABLE table_25474825_1 (platform VARCHAR, software VARCHAR)

What is the platform of Geworkbench?
SELECT platform FROM table_25474825_1 WHERE software = "GeWorkbench"
SELECT "platform" FROM "table_25474825_1" WHERE "GeWorkbench" = "software"