Banner 1 Banner 2 Banner 3




assertD is an eclipse add on that provides software developers the unprecedented ability to utilize temporal assertions.

Temporal assertions are the key element of Assertion Based Verification (ABV) which is method for catching bugs that occur due to pathological ordering od the software execution. ABV was proven a highly effective method for software quality and debugging in the development of software for logic design. assertD brings ABV to general software development. Using assertD the developer will be able to:

  • catch hard bugs the manifest in specific execution ordering
  • determine the root cause of the bugs in a matter of minutes ins tead or hours or even days

To understand how assertD does the above please watch this short demonstration video