The term assert is a Java keyword that was introduced into the language with the JDK 1.4 release in February 2002. Java's assert keyword is unique in two very interesting ways: The Java assert is ...

The ever growing complexity of systems-on-a-chip calls for more and more sophisticated methods of their design and verification. The major gain in SoC design efficiency resulted from wide adoption of ...

Okay, this is where the pain starts, because we're going to try to wend our weary way through the assertion language (a.k.a. “property language”) maze. We'll formally define some terms in a little ...

In my last post, I wrote about hints provided in NetBeans 7.4 beta that improve a developer’s ability to avoid nasty runtime issues with Java exception handling. In this post, I look at how two more ...