OOO "Program Verification Systems"
Development tools and static analysis solutions
27.11.2008 Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released.»
31.10.2008 Two our articles are published in the magazine “Izvestiya TulGU. Tehnicheskie Nauki”, issue ¹3 – 2008.»
15.10.2008 Announcing Viva64 2.20.»
VivaVisualCode is a program demonstrating in a visual form the abilities of VivaCode library in building of parse trees for C++ code. VivaVisualCode implements graphic representation of a parse tree on the screen.
Description of VivaVisualCode.
View a quick demonstration of VivaVisualCode (3 Mb, 3 minutes)
Download source code of VivaVisualCode (0.5 Mb).
Download executable file of VivaVisualCode (0.5 Mb).
 | Download "VivaVisualCode Showcase" presentation (1 Mb). |
Home | About Us | Contact Us | Privacy Policy | Terms of Use
© 2006 - 2008, OOO "Program Verification Systems". All rights reserved.
