EE Times ran an article on Jove, Newisys’ Java verification project that was open sourced recently… Here’s a couple of quotes from Trevor, the scurrilous one… 🙂
?It really didn?t seem like Vera was justified as a separate language,? Robinson said. ?It had no tools and no libraries, it had a lot of bugs, and it ran pretty slow.? Another issue was limited reporting capabilities for functional coverage. ?What took us a couple of weeks in Vera took a day in Java,? Robinson said.
I couldn’t have said it better myself! Very nice…