SoftwareVerify.com
Title
Software Verification, Software tools for compiled and scripting languages
Description
About Us
Software Verification Limited provides products to help your software developers create products in an efficient and timely manner. Software development has many phases, one of which is the process of testing and identifying errors in the software. Software Verification Limited provides tools to aid in this process.
Software Verification Limited is a startup company founded in 2000, with the intention of providing high quality, best of breed software tools for use by software developers. Current tools are either too slow or do not provide adequate analysis facilities. Software Verification was founded because the founders were frustrated with the tools they were using on a day- to-day basis.
Contact
- Object Media Limited
-
Logos
Additional Information
Related Domains
- Automatic Instrumentation
- Calloc
- Code Coverage
- Computers
- Custom Heap Analysis
- Dbg
- Dangling Pointers
- Deadlock Analysis
- Delete
- Expand
- Flow Tracing
- Free
- Global Alloc
- Global Free
- Heap Alloc
- Heap Create
- Heap Destroy
- Heap Free
- Heap Realloc
- Heap Analysis
- I Malloc
- Local Alloc
- Local Free
- Malloc
- Memory Analysis
- Memory Error
- Memory Leak
- Memory Leak Detection
- Memory Leak Detector
- Memory Overwrite
- Memory Underwrite
- Memory Validation
- Null Pointers
- No Compile Needed
- No Link Needed
- Overwrite
- Pdb
- Performance Profiling
- Products And Tools
- Profiling
- Programming
- Realloc
- Referenced Pointer Analysis
- Referencing Pointer Analysis
- Resource Leak
- Resource Leak Detection
- Resource Leak Detector
- Software Testing
- Thread Deadlock
- Underwrite
- Uninitialised Memory
- Uninitialised Memory Detection
- Uninitialised Memory Detector
- Virtual Alloc
- Virtual Free
- Virtual Memory Analysis
- Visual Basic
- Visual C
- DBG
- GlobalAlloc
- GlobalFree
- HeapAlloc
- HeapCreate
- HeapDestroy
- HeapFree
- HeapRealloc
- IMalloc
- LocalAlloc
- LocalFree
- NULL Pointers
- New
- PDB
- Products and Tools
- VirtualAlloc
- VirtualFree