[Karpov2007]

Our company OOO "Program Verification Systems" develops and maintains the PVS-Studio tool intended for detecting 64-bit and parallel errors in the code of C/C++ applications. The PVS-Studio package is a set of specialized static code analyzers that allow to perform verification of source code at the stage of program designing already and therefore significantly reduce costs on program debugging, testing and maintenance.

At present, our company exists only due to sales of PVS-Studio but we are considering various ways of expanding the company's activity into the sphere of outsourcing. We are ready to work on projects of the following kinds:

1. Developments in the sphere of software testing and tools of coding standards control.
2. Auditing of third-party code, verification of source code using the static analysis technology.
3. Development of CAD/CAE systems (we have the corresponding experience obtained while cooperating with the Italian company E.G.S.s.r.l.).
4. Development of resource-intensive parallel applications.
5. Migration of 32-bit applications to 64-bit systems.
6. Other ways of cooperation.

OOO "Program Verification Systems" is situated in Tula city. The company's staff is not very large at the moment but it can be quickly increased to the needed size.

We are ready to provide you with additional information and answer all your questions.



Contacts:

Site: http://www.viva64.com

E-Mail: support@viva64.com

Feedback Form: http://www.viva64.com/about/feedback/

Postbox: 300027,Russia, Tula, P.O. 1800.