cognitionbox.com
www.cognitionbox.comWe enable you to "Trust Your Code". We deliver Trust via simple verification systems, including: Exhaust: An intelligent fuzzing runtime verifcation tool for Java. Petra: A formally verifiable Java library extension and automatic verifier, for parallel and distributed systems. VertC: Pay as you go verification minutes in the cloud. Email us with your interest: ah1m20@soton.ac.uk
Read more
We enable you to "Trust Your Code". We deliver Trust via simple verification systems, including: Exhaust: An intelligent fuzzing runtime verifcation tool for Java. Petra: A formally verifiable Java library extension and automatic verifier, for parallel and distributed systems. VertC: Pay as you go verification minutes in the cloud. Email us with your interest: ah1m20@soton.ac.uk
Read more
Country
City (Headquarters)
London
Industry
Employees
1-10
Founded
2016
Social
Employees statistics
View all employeesPotential Decision Makers
Cognitionbox.Com
Email ****** @****.comPhone (***) ****-****Researcher and Java Developer
Email ****** @****.comPhone (***) ****-****
Technologies
(1)
