SAN JOSE, Calif. — Atsushi Kasuya, verification engineer at Juniper Networks Inc., didn't like any of the existing languages used for verification — so he wrote his own. Now Kasuya is offering his ...