Open-Source Verification Language

An Anonymous Coward writes: "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 C-like language, Jeda, to the design community on an open-source basis under the GNU Public License."