Correct Computation Details
Correct Computation was an automated reasoning company specializing in program analysis. Successful exit: 2021.
Employees:
4
HQ:
Location:
College Park, Maryland, United States
Revenue:
Software Security
Program Analysis
Program Optimization
Software Verification
Formal Methods
Static Analysis
Model Checking
Software Development Tools
Software Testing
Algorithm Analysis
Code Analysis
Formal Verification
Software Engineering
Debugging Tools
Logic Programming
Artificial Intelligence