Program Verification Systems
- Russia, Tula, Kutuzova 100-73
300027
Russian Federation - +7(4872)38-59-95
- http://www.viva64.com
Program Verification Systems Articles
Program Verification Systems Announce PVS-Studio Version 5.00
The PVS-Studio static analyzer has changed its version number to 5.00. Why? Because we have worked hard at this release! First of all, we have implemented PVS-Studio integration into Embarcadero C++Builder. Or Embarcadero RAD Studio - we are not yet sure ourselves how to call it correctly.
PVS-Studio 3.30 for recourse-intensive applications developers
PVS-Studio is a static code analysis tool for C/C++. It is targeted at verification of resource-intensive applications which use the possibilities of modern microprocessors, such as 64-bit mode and multi-core features. The analyzer allows to detect hidden errors during development of 64-bit and parallel OpenMP applications.
Featured products
MAX17793
Analog Devices Inc.
3V to 80V, 3A, High-Efficiency, Synchronous Step-Down DC-DC Converter
| SKU: | MAX17793 |
|---|---|
| Stock: | 9316 |
| Cost: | $3.64 |
MAX22516
Analog Devices Inc.
IO-Link Data Link Controller with Transceiver and Integrated DC-DC
| SKU: | MAX22516 |
|---|---|
| Stock: | 8000 |
| Cost: | $5.42 |
Product Spotlight
102991834
BeagleBoard
Single Board Computer (SBC), BeagleY-AI
AM67A BeagleY-AI Jacinto 7 AR...
| SKU: | 2820-102991834-ND |
|---|---|
| Stock: | 208 |
| Cost: | $56.24 |
SC1110
Raspberry Pi
Raspberry Pi 5 2GB
The Raspberry Pi 5 2GB model represents a leap for...
| SKU: | 2648-SC1110-ND |
|---|---|
| Stock: | 0 |
| Cost: | $38.33 |
AKX00069
Arduino
Arduino Plug and Make Kit
The Arduino Plug and Make Kit features the ...
| SKU: | |
|---|---|
| Stock: | 968 |
| Cost: | $66.97 |
300361-0011
Molex
MX150 Mid-Voltage MatSealed Female Connector Assembly, Dual Row, 20 Circ...
| SKU: | |
|---|---|
| Stock: | 280 |
| Cost: | $2.51 |
