 | BlastBerkeley Lazy Abstraction Software Verification Tool |
| Download | |
Blast Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- Dirk Beyer
- Operating Systems:
- Windows All
- File Size:
- 3.5 MB
Blast Tags
- check tcp Verification Buffer stress test Berkeley Internet Name Domain timeout Geometric Abstraction abstraction input abstraction output abstraction Abstraction Library verification tool Lazy mail verification software software model checker Software Verification Tool software checker model checker software verification multiple abstraction layer SQL abstraction abstraction layer abstraction level lazy evaluation expandable abstraction predicate abstraction RDF2Go abstraction layer shape abstraction 3d abstraction database abstraction lazy launcher
Blast Description
The Blast application was designed to be a small, quick TCP service stress test tool. Blast does a good amount of work very quickly and can help spot potential weaknesses in your network servers.
Blast Related Software