About
Assertion-based Verification Tool
AssertD is an Eclipse add-on that provides software developers the ability to utilize temporal assertions, the key element of assertion-based verification (ABV), which is a method for catching bugs that occur due to pathological ordering of the software execution. AssertD brings ABV to general software development. Using assertD, the developer will be able to catch hard bugs thatmanifest in specific execution ordering and determine the root cause of the bugs in a matter of minutes.
Identity
| Name | assertD |
|---|---|
| Slug | assertd |
| Type / kind | startup |
| Source _id | agxzfmlsbGlzdHNpdGVyGAsSC05ld19Db21wYW55GICAgN7u8oUJDA |
Status
| Status | inactive |
|---|---|
| Status reason | Non Active, Jan 2016 |
| Last update | 2026-05-17 |
Location
| HQ country code | IL |
|---|---|
| HQ region/district | North District |
| HQ city | Haifa |
| HQ address | Haifa, Israel |
Classifications
Primary sector Business Software
Sub-sectors
Business Software
Technologies
Platforms & InterfacesPlug-in
Target customers
Enterprise & Professional ServicesSoftware Development
Business models
B2B
Tags
qadeveloperssoftware-developmentroot-cause-analysis
Funding
| Total raised | — |
|---|---|
| Current stage | Mature |
Raw source document
Show full JSON (0 KB)
{
"0": "s",
"1": "l",
"2": "i",
"3": "m",
"4": "p",
"5": "a",
"6": "g",
"7": "e",
"8": "s",
"9": "_",
"10": "i",
"11": "m",
"12": "p",
"13": "o",
"14": "r",
"15": "t"
}