Related Products
  | 
            
    ||||||
                
            
            
            About
            The Java™ Programming Language is a general-purpose, concurrent, strongly typed, class-based object-oriented language. It is normally compiled to the bytecode instruction set and binary format defined in the Java Virtual Machine Specification. In the Java programming language, all source code is first written in plain text files ending with the .java extension. Those source files are then compiled into .class files by the javac compiler. A .class file does not contain code that is native to your processor; it instead contains bytecodes — the machine language of the Java Virtual Machine1 (Java VM). The java launcher tool then runs your application with an instance of the Java Virtual Machine.
             
            
        
         | 
        
        
                
            
            
            About
            TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.  It's based on the idea that the best way to describe things precisely is with simple mathematics.  TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
             
            
        
         | 
        
        
                
            
            
            About
            Visual Expert is a static code analyzer for Oracle PL/SQL, SQL Server T-SQL, and PowerBuilder.
Identify code dependencies to modify your code without breaking your application. 
Scan your code to improve the security, performance, and quality.
Perform Impact analysis to Identify breaking changes.
Automatically scan your code to detect and fix security vulnerabilities, bugs and maintenance Issues.
Implement continuous code inspection
Understand the inner workings of your code with call graphs, code diagrams, CRUD Matrix and Object Dependency Matrix (ODM).
Automatically generate an HTML Source Code documentation.
Explore your code exploration with hyperlinks
Compare applications, databases or pieces of code. 
Improve maintainability. Clean up code. Comply with dev standards. 
Analyze and Improve DB code performance: Find slow objects and SQL queries,
Optimize a slow object, a Chain of calls a slow SQL, Get a query Execution Plan.
And much more.
             
            
        
         | 
        ||||
        
        Platforms Supported
            
                Windows
            
            
         
        
    
        
        
            
                Mac
            
            
         
        
    
        
        
            
                Linux
            
            
         
        
    
        
        
            
                Cloud
            
            
         
        
    
        
        
            
                On-Premises
            
            
         
        
    
        
        
            
                iPhone
            
            
         
        
    
        
        
            
                iPad
            
            
         
        
    
        
        
            
                Android
            
            
         
        
    
        
        
            
                Chromebook
            
            
         
        
    
         | 
        
        
        
        Platforms Supported
            
                Windows
            
            
         
        
    
        
        
            
                Mac
            
            
         
        
    
        
        
            
                Linux
            
            
         
        
    
        
        
            
                Cloud
            
            
         
        
    
        
        
            
                On-Premises
            
            
         
        
    
        
        
            
                iPhone
            
            
         
        
    
        
        
            
                iPad
            
            
         
        
    
        
        
            
                Android
            
            
         
        
    
        
        
            
                Chromebook
            
            
         
        
    
         | 
        
        
        
        Platforms Supported
            
                Windows
            
            
         
        
    
        
        
            
                Mac
            
            
         
        
    
        
        
            
                Linux
            
            
         
        
    
        
        
            
                Cloud
            
            
         
        
    
        
        
            
                On-Premises
            
            
         
        
    
        
        
            
                iPhone
            
            
         
        
    
        
        
            
                iPad
            
            
         
        
    
        
        
            
                Android
            
            
         
        
    
        
        
            
                Chromebook
            
            
         
        
    
         | 
        ||||
                
            
        
        Audience
        Developers looking for a Programming Language solution
         
        
    
         | 
        
        
                
            
        
        Audience
        Developers
         
        
    
         | 
        
        
                
            
        
        Audience
        Developers
         
        
    
         | 
        ||||
                
            
        
        Support
            
                Phone Support
            
            
         
        
    
        
        
            
                24/7 Live Support
            
            
         
        
    
        
        
            
                Online
            
            
         
        
    
         | 
        
        
                
            
        
        Support
            
                Phone Support
            
            
         
        
    
        
        
            
                24/7 Live Support
            
            
         
        
    
        
        
            
                Online
            
            
         
        
    
         | 
        
        
                
            
        
        Support
            
                Phone Support
            
            
         
        
    
        
        
            
                24/7 Live Support
            
            
         
        
    
        
        
            
                Online
            
            
         
        
    
         | 
        ||||
                
            
        
        API
            
                Offers API
            
            
         
        
    
         | 
        
        
                
            
        
        API
            
                Offers API
            
            
         
        
    
         | 
        
        
                
            
        
        API
            
                Offers API
            
            
         
        
    
         | 
        ||||
                
            
        
        Screenshots and Videos | 
        
        
                
            
        
        Screenshots and VideosNo images available 
    
 | 
        
        
                
            
        
        Screenshots and Videos | 
        ||||
                
            
        
        Pricing
        Free
        
     
    
    
        
        
            
                Free Version
            
            
         
        
    
        
        
            
                Free Trial
            
            
         
        
    
         | 
        
        
                
            
        
        Pricing
        Free
        
     
    
    
        
        
            
                Free Version
            
            
         
        
    
        
        
            
                Free Trial
            
            
         
        
    
         | 
        
        
                
            
        
        Pricing
        $495 per year
        
     
    
    
        
        
            
                Free Version
            
            
         
        
    
        
        
            
                Free Trial
            
            
         
        
    
         | 
        ||||
                
            
        
    
        
Reviews/
        
    
    
         | 
        
        
                
            
        
    
        
Reviews/
         | 
        
        
                
            
        
    
        
Reviews/
         | 
        ||||
                
            
        
        Training
            
                Documentation
            
            
         
        
    
        
        
            
                Webinars
            
            
         
        
    
        
        
            
                Live Online
            
            
         
        
    
        
        
            
                In Person
            
            
         
        
    
         | 
        
        
                
            
        
        Training
            
                Documentation
            
            
         
        
    
        
        
            
                Webinars
            
            
         
        
    
        
        
            
                Live Online
            
            
         
        
    
        
        
            
                In Person
            
            
         
        
    
         | 
        
        
                
            
        
        Training
            
                Documentation
            
            
         
        
    
        
        
            
                Webinars
            
            
         
        
    
        
        
            
                Live Online
            
            
         
        
    
        
        
            
                In Person
            
            
         
        
    
         | 
        ||||
                
            
        
        Company InformationOracle 
    
    
    docs.oracle.com/javase/8/docs/technotes/guides/language/index.html 
         | 
        
        
                
            
        
        Company InformationTLA+ 
    
    
    lamport.azurewebsites.net/tla/tla.html 
         | 
        
        
                
            
        
        Company InformationNovalys 
    
    Founded: 1998 
    
    France 
    www.visual-expert.com 
         | 
        ||||
                
            
            
    
        
        
        
            Alternatives | 
        
        
                
            
            
    
        
        
        
            Alternatives | 
        
        
                
            
            
    
        
        
        
            Alternatives | 
        ||||
| 
                
            
            
    
        
        
        
        
             | 
        ||||||
| 
                
            
            
    
        
        
        
        
             | 
        
        
                
            
            
    
        
        
        
        
             | 
        |||||
| 
                
            
            
    
        
        
        
        
             | 
        
        
                
            
            
    
        
        
        
        
             | 
        |||||
                
            
        
    
        Categories | 
        
        
                
            
        
    
        Categories | 
        
        
                
            
        
    
        Categories | 
        ||||
                
            
        
    
        
            
            
                
                    
                
                Application Development Features
            
                Access Controls/Permissions
            
            
         
        
    
        
        
            
                Code Assistance
            
            
         
        
    
        
        
            
                Code Refactoring
            
            
         
        
    
        
        
            
                Collaboration Tools
            
            
         
        
    
        
        
            
                Compatibility Testing
            
            
         
        
    
        
        
            
                Data Modeling
            
            
         
        
    
        
        
            
                Debugging
            
            
         
        
    
        
        
            
                Deployment Management
            
            
         
        
    
        
        
            
                Graphical User Interface
            
            
         
        
    
        
        
            
                Mobile Development
            
            
         
        
    
        
        
            
                No-Code
            
            
         
        
    
        
        
            
                Reporting/Analytics
            
            
         
        
    
        
        
            
                Software Development
            
            
         
        
    
        
        
            
                Source Control
            
            
         
        
    
        
        
            
                Testing Management
            
            
         
        
    
        
        
            
                Version Control
            
            
         
        
    
        
        
            
                Web App Development
            
            
         
        
    
                    Source Code Management Features
            
                Access Controls/Permissions
            
            
         
        
    
        
        
            
                Bug Tracking
            
            
         
        
    
        
        
            
                Build Automation
            
            
         
        
    
        
        
            
                Change Management
            
            
         
        
    
        
        
            
                Code Review
            
            
         
        
    
        
        
            
                Collaboration
            
            
         
        
    
        
        
            
                Continuous Integration
            
            
         
        
    
        
        
            
                Repository Management
            
            
         
        
    
        
        
            
                Version Control
            
            
         
        
    
                    Static Code Analysis Features
            
                Analytics / Reporting
            
            
         
        
    
        
        
            
                Code Standardization / Validation
            
            
         
        
    
        
        
            
                Multiple Programming Language Support
            
            
         
        
    
        
        
            
                Provides Recommendations
            
            
         
        
    
        
        
            
                Standard Security/Industry Libraries
            
            
         
        
    
        
        
            
                Vulnerability Management
            
            
         
        
    
                    Vulnerability Management Features
            
                Asset Discovery
            
            
         
        
    
        
        
            
                Asset Tagging
            
            
         
        
    
        
        
            
                Network Scanning
            
            
         
        
    
        
        
            
                Patch Management
            
            
         
        
    
        
        
            
                Policy Management
            
            
         
        
    
        
        
            
                Prioritization
            
            
         
        
    
        
        
            
                Risk Management
            
            
         
        
    
        
        
            
                Vulnerability Assessment
            
            
         
        
    
        
        
            
                Web Scanning
            
            
         
        
    
                     | 
        ||||||
                
            
        
    
        Integrations
            
                
    AnyIP
            
            
         
        
    
        
        
            
                
    Apache Subversion
            
            
         
        
    
        
        
            
                
    Claude Opus 3
            
            
         
        
    
        
        
            
                
    Codase
            
            
         
        
    
        
        
            
                
    CodeConvert
            
            
         
        
    
        
        
            
                
    CodeGeeX
            
            
         
        
    
        
        
            
                
    CodeLogic
            
            
         
        
    
        
        
            
                
    Crystal Ball Markets
            
            
         
        
    
        
        
            
                
    Helios
            
            
         
        
    
        
        
            
                
    JMockit
            
            
         
        
    
                
                    
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
                
             | 
        
        
                
            
        
    
        Integrations
            
                
    AnyIP
            
            
         
        
    
        
        
            
                
    Apache Subversion
            
            
         
        
    
        
        
            
                
    Claude Opus 3
            
            
         
        
    
        
        
            
                
    Codase
            
            
         
        
    
        
        
            
                
    CodeConvert
            
            
         
        
    
        
        
            
                
    CodeGeeX
            
            
         
        
    
        
        
            
                
    CodeLogic
            
            
         
        
    
        
        
            
                
    Crystal Ball Markets
            
            
         
        
    
        
        
            
                
    Helios
            
            
         
        
    
        
        
            
                
    JMockit
            
            
         
        
    
                
                    
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
                
             | 
        
        
                
            
        
    
        Integrations
            
                
    AnyIP
            
            
         
        
    
        
        
            
                
    Apache Subversion
            
            
         
        
    
        
        
            
                
    Claude Opus 3
            
            
         
        
    
        
        
            
                
    Codase
            
            
         
        
    
        
        
            
                
    CodeConvert
            
            
         
        
    
        
        
            
                
    CodeGeeX
            
            
         
        
    
        
        
            
                
    CodeLogic
            
            
         
        
    
        
        
            
                
    Crystal Ball Markets
            
            
         
        
    
        
        
            
                
    Helios
            
            
         
        
    
        
        
            
                
    JMockit
            
            
         
        
    
                
                    
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
        
        
        
    
                
             | 
        ||||
| 
                
            
        
    
     | 
        
        
                
            
        
    
     | 
        
        
                
            
        
    
     |